summaryrefslogtreecommitdiff
path: root/jenkins.sh
diff options
context:
space:
mode:
authorChristophe Lyon <christophe.lyon@linaro.org>2015-04-03 16:32:34 +0100
committerChristophe Lyon <christophe.lyon@linaro.org>2015-04-03 16:42:21 +0100
commitc04b1c02f02c10dac6883a5aa27fb53e90bb9177 (patch)
tree4591b07e14b537d6e7037c2c4951824a20a2448f /jenkins.sh
parente97a5e1b6c6088838b81eff3eb0bc96ebc495d90 (diff)
Call 'shift' when handling options that require an argument.
Change-Id: I466c5cc3144ad92b1034f20f511dcbf4743c8b1c
Diffstat (limited to 'jenkins.sh')
-rwxr-xr-xjenkins.sh16
1 files changed, 8 insertions, 8 deletions
diff --git a/jenkins.sh b/jenkins.sh
index 37e5961b..5190e420 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -75,14 +75,14 @@ status=0
OPTS="`getopt -o s:g:c:w:o:f:l:rt:b:h -l snapshots:,gitrepo:,abe:,workspace:,options:,fileserver:,languages:,runtests,target:,bootstrap,help -- "$@"`"
while test $# -gt 0; do
case $1 in
- -s|--snapshots) user_snapshots=$2 ;;
- -g|--gitrepo) user_git_repo=$2 ;;
- -c|--abe) abe_dir=$2 ;;
- -t|--target) target=$2 ;;
- -w|--workspace) user_workspace=$2 ;;
- -o|--options) user_options=$2 ;;
- -f|--fileserver) fileserver=$2 ;;
- -l|--languages) languages=$2 ;;
+ -s|--snapshots) user_snapshots=$2; shift ;;
+ -g|--gitrepo) user_git_repo=$2; shift ;;
+ -c|--abe) abe_dir=$2; shift ;;
+ -t|--target) target=$2; shift ;;
+ -w|--workspace) user_workspace=$2; shift ;;
+ -o|--options) user_options=$2; shift ;;
+ -f|--fileserver) fileserver=$2; shift ;;
+ -l|--languages) languages=$2; shift ;;
-r|--runtests) runtests="true" ;;
-b|--bootstrap) try_bootstrap="true" ;;
-h|--help) usage ;;