diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2014-12-10 18:35:42 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2014-12-10 18:35:42 +0000 |
commit | 6d1c3716634ce7c5a5fc9b7ccfc493562fa1745f (patch) | |
tree | c4f42e5afdad0f7f1a11cad10a9efb66a698f13c /jenkins.sh | |
parent | bcba5c7a5a68457bba58a24e50ff9b27c0a5b825 (diff) |
Fix --runtests
Diffstat (limited to 'jenkins.sh')
-rwxr-xr-x | jenkins.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |