Update setup_workspace.sh

2020-10-03 16:27:52 +02:00 · 2020-10-03 16:27:52 +02:00 · b65dfccd27
commit b65dfccd27
parent 148207d3f7
1 changed files with 2 additions and 0 deletions
--- a/jenkins/scripts/setup_workspace.sh
+++ b/jenkins/scripts/setup_workspace.sh
@ -20,6 +20,8 @@ git submodule update --init --recursive

 if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then
  echo "Linux"
+  cat /etc/debian_version || true
+  uname -a
  sudo apt install openjdk-11-jdk-headless -y
 elif [[ "$TRAVIS_OS_NAME" == "osx" ]]; then
  echo "OSX"