diff options
Diffstat (limited to 'tools/run_tests/tests.sh')
-rwxr-xr-x | tools/run_tests/tests.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/run_tests/tests.sh b/tools/run_tests/tests.sh index 4b2aef77..c28a5daa 100755 --- a/tools/run_tests/tests.sh +++ b/tools/run_tests/tests.sh @@ -104,6 +104,11 @@ use_java() { ;; esac + if [ "$TRAVIS" != "true" ]; then + MAVEN_LOCAL_REPOSITORY=/var/maven_local_repository + MVN="$MVN -e -X --offline -Dmaven.repo.local=$MAVEN_LOCAL_REPOSITORY" + fi; + which java java -version } |