parameters were not well parsed

refs #10657

diff --git a/jenkins/run-deploy.sh b/jenkins/run-deploy.sh
index c1ca11d41e1537668fb49c50275e0eb45c9a0bb7..c0b817fd6e4495b96795a005bd6744cede918920 100755 (executable)
--- a/jenkins/run-deploy.sh
+++ b/jenkins/run-deploy.sh
@@ -47,8 +47,8 @@ function usage {
 
 
 # NOTE: This requires GNU getopt (part of the util-linux package on Debian-based distros).
-TEMP=`getopt -o hdpc: \
-    --long help,debug,port,concurrency: \
+TEMP=`getopt -o hdp:c: \
+    --long help,debug,port:,concurrency: \
     -n "$0" -- "$@"`
 
 if [ $? != 0 ] ; then echo "Use -h for help"; exit 1 ; fi