diff options
| -rwxr-xr-x | tests/runtests.pl | 1 |
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) { |