diff options
| -rwxr-xr-x | run-tests.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/run-tests.sh b/run-tests.sh index 3eb8e381247..c8eaf9b9683 100755 --- a/run-tests.sh +++ b/run-tests.sh @@ -413,7 +413,7 @@ function run_head_tests() } function parse_args () { - args=`getopt frcbkhHo "$@"` + args=`getopt frcbkhHo:t: "$@"` set -- $args while [ $# -gt 0 ]; do case "$1" in @@ -425,6 +425,7 @@ function parse_args () { -b) skip_bad_tests="no" ;; -k) skip_known_bugs="no" ;; -o) result_output="$2"; shift;; + -t) run_timeout="$2"; shift;; --) shift; break;; esac shift |