[ARVADOS-DEV] updated: 00139289187badceb1c31f92a6937a5288f969b0

[Git user]

Summary of changes:
 jenkins/run-deploy.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

       via  00139289187badceb1c31f92a6937a5288f969b0 (commit)
      from  58e6d260739ff7a1c772de43ed837c8d44d8aee2 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 00139289187badceb1c31f92a6937a5288f969b0
Author: Nico Cesar <nico at curoverse.com>
Date:   Fri Dec 2 08:21:25 2016 -0500

    parameters were not well parsed
    
    refs #10657

diff --git a/jenkins/run-deploy.sh b/jenkins/run-deploy.sh
index c1ca11d..c0b817f 100755
--- 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

-----------------------------------------------------------------------


hooks/post-receive
--