diff options
author | Kristen Kozak <sebright@google.com> | 2017-12-19 20:02:00 -0800 |
---|---|---|
committer | Kristen Kozak <sebright@google.com> | 2017-12-19 20:03:03 -0800 |
commit | d579d8f12b8a76bfb55c538b71d5f014885eb1e0 (patch) | |
tree | 43f936364b6ecf67b0bad3342ab76f359a2d972c /scripts | |
parent | a5f4a108e35eb9cfc0f06bb059fcc4978ac3e567 (diff) | |
download | opencensus-java-d579d8f12b8a76bfb55c538b71d5f014885eb1e0.tar.gz |
Run Checker Framework null analysis with Travis (fixes #359).
I added a separate build job.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/travis_script | 3 |
1 files changed, 3 insertions, 0 deletions
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 ;; |