diff --git a/jenkins/scripts/setup_workspace.sh b/jenkins/scripts/setup_workspace.sh index fb03164..adea375 100755 --- a/jenkins/scripts/setup_workspace.sh +++ b/jenkins/scripts/setup_workspace.sh @@ -20,6 +20,7 @@ git submodule update --init --recursive if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then echo "Linux" + apt install openjdk-11-jdk-headless -y elif [[ "$TRAVIS_OS_NAME" == "osx" ]]; then echo "OSX" elif [[ "$TRAVIS_OS_NAME" == "windows" ]]; then