diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2014-12-22 18:06:41 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2014-12-22 18:06:41 +0000 |
commit | c4447570f363b1c187041ce1227617884e9ea47f (patch) | |
tree | 3b24067b9a8ce9697a77ce61b23ebe2b6e650ca7 /jenkins.sh | |
parent | beeafd301d8d94db7369817d29525386cc030395 (diff) |
Fix option parsing in jenkins.sh
Diffstat (limited to 'jenkins.sh')
-rwxr-xr-x | jenkins.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -63,7 +63,7 @@ releasestr= # This is a string of optional extra arguments to pass to abe at runtime user_options="" -OPTS="`getopt -o s:g:c:w:o:f:l:t:h -l snapshots:gitrepo:abe:workspace:options:fileserver:languages:target:help -- "$@"`" +OPTS="`getopt -o s:g:c:w:o:f:l:r:t:h -l snapshots:gitrepo:abe:workspace:options:fileserver:languages:runtests:target:help -- "$@"`" while test $# -gt 0; do echo 1 = "$1" case $1 in |