diff options
| -rwxr-xr-x | run-tests.sh | 7 | 
1 files changed, 6 insertions, 1 deletions
diff --git a/run-tests.sh b/run-tests.sh index 7ea6316f022..4ec77a16037 100755 --- a/run-tests.sh +++ b/run-tests.sh @@ -6,6 +6,7 @@ export TZ=UTC  force="no"  retry="no"  tests="" +exit_on_failure="yes"  function check_dependencies()  { @@ -224,6 +225,9 @@ function run_tests()                  RES=1                  GENERATED_CORE="${GENERATED_CORE}${t} "              fi +            if [ $RES -ne 0 ] && [ x"$exit_on_failure" = "xyes" ] ; then +                break; +            fi          fi      done      if [ ${RES} -ne 0 ] ; then @@ -238,12 +242,13 @@ function run_tests()  }  function parse_args () { -    args=`getopt fr "$@"` +    args=`getopt frc "$@"`      set -- $args      while [ $# -gt 0 ]; do          case "$1" in          -f)    force="yes" ;;          -r)    retry="yes" ;; +        -c)    exit_on_failure="no" ;;          --)    shift; break;;          esac          shift  | 
