From b20fe2a9f488bef3b45bd5cc9e883008c67e3da6 Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Sun, 4 Oct 2020 19:39:23 +0200
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 1c3e79a..91f7da3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -23,6 +23,10 @@ pipeline {
 		stage("Setup workspace") {
 			agent none
 			steps {
+				sh "ls -alch /"
+				sh "ls -alch /var/"
+				sh "ls -alch /var/jenkins_home/"
+				sh "ls -alch /var/jenkins_cache/"
 				sh "mkdir -p \"/var/jenkins_cache/.m2\""
 				sh "chown 1000:1000 -R \"/var/jenkins_cache/.m2\""
 				sh "mkdir -p \"/var/jenkins_cache/.ccache\""