diff options
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 0931647d4a..72781e9559 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1127,7 +1127,7 @@ function system_with_timeout($commandline, $env = null, $stdin = null) if ($stat['signaled']) { $data .= "\nTermsig=" . $stat['stopsig'] . "\n"; } - if ($stat["exitcode"] > 128) { + if ($stat["exitcode"] > 128 && $stat["exitcode"] < 160) { $data .= "\nTermsig=" . ($stat["exitcode"] - 128) . "\n"; } |