projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ac048e2)
Run Ant on Travis
authorPat Hawks <pat@pathawks.com>
Mon, 28 Aug 2017 21:13:22 +0000 (16:13 -0500)
committerPat Hawks <pat@pathawks.com>
Mon, 28 Aug 2017 21:39:55 +0000 (16:39 -0500)
.travis.yml patch | blob | history

diff --git a/.travis.yml b/.travis.yml
index 50c9f7d9e5431e184debe13af6d98a9785f38ee5..bf134e0392b43e2462c797c923b3ee308f124347 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -68,7 +68,8 @@ script:
    }
    JavaApiTest() {
      pushd test/java
-     local status=${ant}
+     local status=0
+     ant || status=1
      popd
      return $status
    }