From cf0b6f9a019d0370b0b0e9ac319df0c3d7869658 Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Sat, 3 Oct 2020 15:44:57 +0200
Subject: [PATCH] Update Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 1a53138..5e1f715 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 $HOME:/work'
+					args '-v $JAVA_HOME:/java -v $HOME:/var/maven -v "$(realpath .):/work"'
 					reuseNode true
 				}
 			}