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

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

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