diff --git a/Jenkinsfile b/Jenkinsfile index 1d07b8126..6f5745a0c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -147,6 +147,8 @@ pipeline { options: publishers ) { + sh "chmod 755 ./src/ci/scripts/prepareWorkspace.sh" + sh "./src/ci/scripts/prepareWorkspace.sh" sh "mvn clean install -U -B -e -fae -Dmaven.compiler.fork=true -Pci-build -T${THREADS}" } }