From be04eb00e4c81dd45edc7bb5d5dbbf3a66715b76 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Tue, 28 May 2019 22:15:20 +0200
Subject: [PATCH] Fix syntax.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index b48085d..6f9cd71 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -33,7 +33,7 @@ pipeline {
     stages {
     	stage('build core components') {
         	steps {
-            	withMaven(jdk: 'OpenJDK 8', mavenLocalRepo: "${maven_local_repo_path}, mavenSettingsFilePath: "${maven_settings_file}) {
+            	withMaven(jdk: 'OpenJDK 8', mavenLocalRepo: "${maven_local_repo_path}", mavenSettingsFilePath: "${maven_settings_file}") {
                     build 'maven-parent'
                     build 'gcube-bom'
                     build 'authorization-common-library'