From 148207d3f70cf60ce2a5d3dc1d3351b2377434f1 Mon Sep 17 00:00:00 2001 From: Andrea Cavalli Date: Sat, 3 Oct 2020 16:26:02 +0200 Subject: [PATCH] Update setup_workspace.sh --- jenkins/scripts/setup_workspace.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins/scripts/setup_workspace.sh b/jenkins/scripts/setup_workspace.sh index adea375..57712a1 100755 --- a/jenkins/scripts/setup_workspace.sh +++ b/jenkins/scripts/setup_workspace.sh @@ -20,7 +20,7 @@ git submodule update --init --recursive if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then echo "Linux" - apt install openjdk-11-jdk-headless -y + sudo apt install openjdk-11-jdk-headless -y elif [[ "$TRAVIS_OS_NAME" == "osx" ]]; then echo "OSX" elif [[ "$TRAVIS_OS_NAME" == "windows" ]]; then