diff options
Diffstat (limited to 'run_tests.sh.in')
| -rw-r--r-- | run_tests.sh.in | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/run_tests.sh.in b/run_tests.sh.in index 9b6e9bfad..8f467fd2e 100644 --- a/run_tests.sh.in +++ b/run_tests.sh.in @@ -138,8 +138,15 @@ export GR_DONT_LOAD_PREFS ok=yes for file in $3/qa_*.py do - if ! @PYTHON@ $file + # echo $file + @PYTHON@ $file + r=$? + if [ $r -ne 0 ] then + if [ $r -ge 128 ] # killed by a signal + then + exit $r + fi ok=no fi done |