From d88edb6d96620354e01f292b6b98eae93fd712eb Mon Sep 17 00:00:00 2001 From: Michael Wallner Date: Fri, 30 Jan 2015 18:00:23 +0100 Subject: [PATCH] also catch segfaults reported by subshells --- run-tests.php | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/run-tests.php b/run-tests.php index 9d1a78c1e4..0931647d4a 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1125,7 +1125,10 @@ function system_with_timeout($commandline, $env = null, $stdin = null) $stat = proc_get_status($proc); if ($stat['signaled']) { - $data .= "\nTermsig=" . $stat['stopsig']; + $data .= "\nTermsig=" . $stat['stopsig'] . "\n"; + } + if ($stat["exitcode"] > 128) { + $data .= "\nTermsig=" . ($stat["exitcode"] - 128) . "\n"; } $code = proc_close($proc); -- 2.40.0