X-Git-Url: https://git.arvados.org/arvados-dev.git/blobdiff_plain/4d3faccfe98c1f00987d7bc1ab6509ef347cc2ac..d3f13c19bdc7b2efe160c66116461faf865fed4e:/jenkins/run-build-packages-all-targets.sh

diff --git a/jenkins/run-build-packages-all-targets.sh b/jenkins/run-build-packages-all-targets.sh
index ddf87c1..8c889a0 100755
--- a/jenkins/run-build-packages-all-targets.sh
+++ b/jenkins/run-build-packages-all-targets.sh
@@ -10,6 +10,8 @@ Options:
 
 --command
     Build command to execute (default: use built-in Docker image command)
+--debug
+    Output debug information (default: false)
 
 WORKSPACE=path         Path to the Arvados source tree to build packages from
 
@@ -34,13 +36,14 @@ fi
 set -e
 
 PARSEDOPTS=$(getopt --name "$0" --longoptions \
-    help,command: \
+    help,debug,command: \
     -- "" "$@")
 if [ $? -ne 0 ]; then
     exit 1
 fi
 
 COMMAND=
+DEBUG=
 
 eval set -- "$PARSEDOPTS"
 while [ $# -gt 0 ]; do
@@ -50,6 +53,9 @@ while [ $# -gt 0 ]; do
             echo >&2
             exit 1
             ;;
+        --debug)
+            DEBUG=" --debug"
+            ;;
         --command)
             COMMAND="$2"; shift
             ;;
@@ -64,7 +70,7 @@ while [ $# -gt 0 ]; do
 done
 
 if [[ "$COMMAND" != "" ]]; then
-  COMMAND="/usr/local/rvm/bin/rvm-exec default bash /jenkins/$COMMAND"
+  COMMAND="/usr/local/rvm/bin/rvm-exec default bash /jenkins/$COMMAND$DEBUG"
 fi
 
 FINAL_EXITCODE=0