From b65dfccd27f8c72dff87779ebc5fc25cf06db019 Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Sat, 3 Oct 2020 16:27:52 +0200
Subject: [PATCH] Update setup_workspace.sh

---
 jenkins/scripts/setup_workspace.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/jenkins/scripts/setup_workspace.sh b/jenkins/scripts/setup_workspace.sh
index 57712a1..eb19eeb 100755
--- 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"