From cb2ae5d98844f33d790f10834d07a121759ca7e5 Mon Sep 17 00:00:00 2001 From: Andrea Cavalli Date: Sun, 4 Oct 2020 19:11:09 +0200 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index d24ddc5..59283cb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -26,6 +26,10 @@ pipeline { sh "chown 1000:1000 -R \"${workspace}/.m2\"" sh "mkdir -p \"${workspace}/.ccache\"" sh "chown 1000:1000 -R \"${workspace}/.ccache\"" + sh "mkdir -p \"${workspace}/work\"" + sh "chown 1000:1000 -R \"${workspace}/work\"" + sh "mkdir -p \"${workspace}/output\"" + sh "chown 1000:1000 -R \"${workspace}/output\"" } }