From: Pat Hawks <pat@pathawks.com>
Date: Mon, 28 Aug 2017 21:13:22 +0000 (-0500)
Subject: Run Ant on Travis
X-Git-Tag: cvc5-1.0.0~5662
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d6c918898d852ab3b38ccfdab2f138aef8d60cd0;p=cvc5.git

Run Ant on Travis
---

diff --git a/.travis.yml b/.travis.yml
index 50c9f7d9e..bf134e039 100644
--- 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
    }