From f9f7e7c5afdca983ee59ea6ec4b0e94b0eab2c60 Mon Sep 17 00:00:00 2001
From: Raphael Defosseux <raphael.defosseux@eurecom.fr>
Date: Thu, 14 Jun 2018 17:50:07 +0200
Subject: [PATCH] fix syntax

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
---
 ci-scripts/Jenkinsfile-gitlab | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci-scripts/Jenkinsfile-gitlab b/ci-scripts/Jenkinsfile-gitlab
index 36b6d98f1d4..442e5d37910 100644
--- a/ci-scripts/Jenkinsfile-gitlab
+++ b/ci-scripts/Jenkinsfile-gitlab
@@ -48,7 +48,7 @@ pipeline {
         stage ("Local Build") {
             steps {
                 gitlabCommitStatus(name: "Local Build") {
-                    sh "./ci-scripts/buildLocally.sh $WORKSPACE"
+                    sh "./ci-scripts/buildLocally.sh --workspace $WORKSPACE"
                 }
             }
             post {
-- 
GitLab