diff options
| author | Michael Wallner <mike@php.net> | 2015-01-30 19:52:09 +0100 |
|---|---|---|
| committer | Michael Wallner <mike@php.net> | 2015-01-30 19:52:09 +0100 |
| commit | 34710ddc59f38de4ea0cffaca60d3ac8f4692bfd (patch) | |
| tree | 4eadb1db6bc10ddc2b38c6237d8ba9b61af261c0 | |
| parent | 97b5dabeb165e717697e21a647dd0b22cc61001e (diff) | |
| download | php-git-34710ddc59f38de4ea0cffaca60d3ac8f4692bfd.tar.gz | |
really only signal reports
| -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"; } |