diff --git a/jenkins/scripts/setup_workspace.sh b/jenkins/scripts/setup_workspace.sh index 1f7628e..fb03164 100755 --- a/jenkins/scripts/setup_workspace.sh +++ b/jenkins/scripts/setup_workspace.sh @@ -20,9 +20,6 @@ git submodule update --init --recursive if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then echo "Linux" - cat /etc/debian_version || true - uname -a - gosu root apt install openjdk-11-jdk-headless -y elif [[ "$TRAVIS_OS_NAME" == "osx" ]]; then echo "OSX" elif [[ "$TRAVIS_OS_NAME" == "windows" ]]; then