Merged features/mp-sched -r8915:9335 into the trunk. The trunk now

[debian/gnuradio] / run_tests.sh.in

diff --git a/run_tests.sh.in b/run_tests.sh.in
index 9b6e9bfad3b74466a950c9d071460e81542f0922..8f467fd2eb6e8370d06b97d9ede7afb1fcd876a9 100644 (file)
--- 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