diff options
Diffstat (limited to 'scripts/travis_script')
| -rwxr-xr-x | scripts/travis_script | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/travis_script b/scripts/travis_script index 12fa7acd..9df7e722 100755 --- a/scripts/travis_script +++ b/scripts/travis_script @@ -55,7 +55,7 @@ case "$TASK" in ./gradlew clean assemble -PcheckerFramework=true ;; "CHECK_EXAMPLES_LICENSE") - curl -L -o checkstyle-8.0-all.jar https://sourceforge.net/projects/checkstyle/files/checkstyle/8.0/checkstyle-8.0-all.jar/download + curl -L -o checkstyle-8.0-all.jar https://github.com/checkstyle/checkstyle/releases/download/checkstyle-8.0/checkstyle-8.0-all.jar java -DrootDir=. -jar checkstyle-8.0-all.jar -c buildscripts/checkstyle.xml examples/src/ ;; "CHECK_EXAMPLES_FORMAT") |