From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 29 Aug 2017 23:10:30 +0000 (-0700)
Subject: Fix indentation for disabled Java tests.
X-Git-Tag: cvc5-1.0.0~5660
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6642b52b199d658a838d1c1bb26c02e732c4e4d6;p=cvc5.git

Fix indentation for disabled Java tests.
---

diff --git a/.travis.yml b/.travis.yml
index 6f00d1c40..88b0fe02d 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -94,7 +94,7 @@ script:
    [ -n "$TRAVIS_CVC4" ] && [ -n "$TRAVIS_CVC4_DISTCHECK" ] && run makeDistcheck
    [ -n "$TRAVIS_CVC4" ] && [ -z "$TRAVIS_CVC4_DISTCHECK" ] && run makeCheck && run makeExamples
    [ -n "$TRAVIS_CVC4" ] && [ -n "$TRAVIS_CVC4_CHECK_PORTFOLIO" ] && run makeCheckPortfolio
-#   [ -n "$TRAVIS_CVC4" ] && [ -n "$TRAVIS_CVC4_JAVA_API_TEST" ] && run JavaApiTest
+   # [ -n "$TRAVIS_CVC4" ] && [ -n "$TRAVIS_CVC4_JAVA_API_TEST" ] && run JavaApiTest
    [ -n "$TRAVIS_COVERITY" ] && echo "Running coverity. Skipping the normal build."
    [ -z "$TRAVIS_CVC4" ] && [ -z "$TRAVIS_COVERITY" ] && error "Unknown Travis-CI configuration"
    echo "travis_fold:end:load_script"