diff --git a/jenkins/scripts/setup_workspace.sh b/jenkins/scripts/setup_workspace.sh index 424094d..1f7628e 100755 --- a/jenkins/scripts/setup_workspace.sh +++ b/jenkins/scripts/setup_workspace.sh @@ -22,7 +22,6 @@ if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then echo "Linux" cat /etc/debian_version || true uname -a - whoami gosu root apt install openjdk-11-jdk-headless -y elif [[ "$TRAVIS_OS_NAME" == "osx" ]]; then echo "OSX"