1 files changed, 1 insertions, 1 deletions
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