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

---
 jenkins/scripts/setup_workspace.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/jenkins/scripts/setup_workspace.sh b/jenkins/scripts/setup_workspace.sh
index 424094d..1f7628e 100755
--- a/jenkins/scripts/setup_workspace.sh
+++ b/jenkins/scripts/setup_workspace.sh
@@ -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"