diff --git a/ci-scripts/Jenkinsfile-gitlab b/ci-scripts/Jenkinsfile-gitlab index 36b6d98f1d4da8914f12c200aecc133626a683e5..442e5d37910e13c5333890cccf2725eb8f93e4f7 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 {