also catch segfaults reported by subshells

diff --git a/run-tests.php b/run-tests.php
index 9d1a78c1e496d3cc7c0ec098773acdcdd959908a..0931647d4ae824483b7c241d179d934ae976f989 100755 (executable)
--- 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);