summaryrefslogtreecommitdiff
path: root/jenkins.sh
diff options
context:
space:
mode:
authorMaxim Kuvyrkov <maxim.kuvyrkov@linaro.org>2014-12-10 18:35:42 +0000
committerMaxim Kuvyrkov <maxim.kuvyrkov@linaro.org>2014-12-10 18:35:42 +0000
commit6d1c3716634ce7c5a5fc9b7ccfc493562fa1745f (patch)
treec4f42e5afdad0f7f1a11cad10a9efb66a698f13c /jenkins.sh
parentbcba5c7a5a68457bba58a24e50ff9b27c0a5b825 (diff)
Fix --runtests
Diffstat (limited to 'jenkins.sh')
-rwxr-xr-xjenkins.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins.sh b/jenkins.sh
index bbad1cc3..b60be13f 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -70,7 +70,7 @@ while test $# -gt 0; do
-o|--options) user_options=$2 ;;
-f|--fileserver) fileserver=$2 ;;
-l|--languages) languages=$2 ;;
- -r|--runtests) runtest="true" ;;
+ -r|--runtests) runtests="true" ;;
-h|--help) usage ;;
esac
shift