From 7bbd09010a9656e80e252e5009b0f35bd1a86044 Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Sat, 3 Oct 2020 15:52:29 +0200
Subject: [PATCH] Update Jenkinsfile and setup_variables.sh

---
 Jenkinsfile                        | 2 +-
 jenkins/scripts/setup_variables.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d562342..d23d1d0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -24,7 +24,7 @@ pipeline {
 			agent {
 				docker {
 					image 'dockcross/linux-x64'
-					args "-v $JAVA_HOME:/java -v $HOME:/var/maven -v \"${env.WORKSPACE}:${env.WORKSPACE}\""
+					args "-v $JAVA_HOME:/java -v $HOME:/var/maven -v \"${env.WORKSPACE}:/workdir\""
 					reuseNode false
 				}
 			}
diff --git a/jenkins/scripts/setup_variables.sh b/jenkins/scripts/setup_variables.sh
index 2822f63..21dd53e 100755
--- a/jenkins/scripts/setup_variables.sh
+++ b/jenkins/scripts/setup_variables.sh
@@ -4,7 +4,7 @@ set -e
 # ====== Static variables
 export TRAVIS_CPU_ARCH="amd64"
 export TRAVIS_OS_NAME="linux"
-export TRAVIS_BUILD_DIR="${env.WORKSPACE}"
+export TRAVIS_BUILD_DIR="/workdir"
 
 # ====== Variables
 export TD_SRC_DIR=$TRAVIS_BUILD_DIR/dependencies/tdlight