1 files changed, 1 insertions, 0 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl
index 4cd390b5d..e426b4afd 100755
--- a/tests/runtests.pl
+++ b/tests/runtests.pl
@@ -2109,6 +2109,7 @@ sub singletest {
         }
         else {
             $cmdres >>= 8;
+            $cmdres = (2000 + $signal_num) if($signal_num && !$cmdres);
         }
     }
     if(!$dumped_core) {