1
0

Update setup_workspace.sh

This commit is contained in:
Andrea Cavalli 2020-10-03 16:31:51 +02:00
parent 1209a4b37d
commit 25ef5bea5e

View File

@ -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"