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

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 59283cb..6130746 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -39,7 +39,7 @@ pipeline {
 					dir 'jenkins/docker'
 					filename 'dockerfile'
 					additionalBuildArgs '--build-arg version=1.0.0 --build-arg UID=1000 --build-arg GID=1000 --build-arg UNAME=jenkins'
-					args "-v \"${workspace}/tdlight-java/src/main:/home/jenkins/output\" -v \"${workspace}/.m2:/home/jenkins/.m2\" -v \"${workspace}/.ccache:/home/jenkins/.ccache:rw\" -v \"${workspace}:/home/jenkins/work\""
+					args "-v \"${workspace}/tdlight-java/src/main:/home/jenkins/output\" -v \"/var/jenkins_cache/.m2:/home/jenkins/.m2\" -v \"/var/jenkins_cache/.ccache:/home/jenkins/.ccache:rw\" -v \"${workspace}:/home/jenkins/work\""
 					reuseNode false
 				}
 			}