diff options
author | Christophe Lyon <christophe.lyon@linaro.org> | 2015-04-03 16:32:34 +0100 |
---|---|---|
committer | Christophe Lyon <christophe.lyon@linaro.org> | 2015-04-03 16:42:21 +0100 |
commit | c04b1c02f02c10dac6883a5aa27fb53e90bb9177 (patch) | |
tree | 4591b07e14b537d6e7037c2c4951824a20a2448f /jenkins.sh | |
parent | e97a5e1b6c6088838b81eff3eb0bc96ebc495d90 (diff) |
Call 'shift' when handling options that require an argument.
Change-Id: I466c5cc3144ad92b1034f20f511dcbf4743c8b1c
Diffstat (limited to 'jenkins.sh')
-rwxr-xr-x | jenkins.sh | 16 |
1 files changed, 8 insertions, 8 deletions
@@ -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 ;; |