diff options
| -rw-r--r-- | .travis.yml | 4 | ||||
| -rwxr-xr-x | scripts/travis_script | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 458d376f..d01e9477 100644 --- a/.travis.yml +++ b/.travis.yml @@ -20,6 +20,10 @@ matrix: - openjdk-6-jdk - jdk: oraclejdk8 + env: TASK=CHECKER_FRAMEWORK + os: linux + + - jdk: oraclejdk8 env: TASK=BUILD_EXAMPLES_GRADLE os: linux diff --git a/scripts/travis_script b/scripts/travis_script index b8f4ba75..77bad8c6 100755 --- a/scripts/travis_script +++ b/scripts/travis_script @@ -48,6 +48,9 @@ case "$TASK" in ;; esac ;; + "CHECKER_FRAMEWORK") + ./gradlew clean assemble -PcheckerFramework=true + ;; "BUILD_EXAMPLES_GRADLE") pushd examples && ./gradlew clean assemble --stacktrace && popd ;; |