From c4447570f363b1c187041ce1227617884e9ea47f Mon Sep 17 00:00:00 2001
From: Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org>
Date: Mon, 22 Dec 2014 18:06:41 +0000
Subject: Fix option parsing in jenkins.sh

---
 jenkins.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'jenkins.sh')

diff --git a/jenkins.sh b/jenkins.sh
index 7aa86138..79f77abd 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -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
-- 
cgit v1.2.3