diff options
| -rwxr-xr-x | run-tests.php | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index b7a8031f77..27e4339dd0 100755 --- a/run-tests.php +++ b/run-tests.php @@ -534,7 +534,7 @@ TEST $file save_text($tmp_skipif, $section_text['SKIPIF']); $output = `$php $info_params $tmp_skipif`; @unlink($tmp_skipif); - if (ereg("^skip", trim($output))){ + if (ereg("^skip", strtolower(trim($output)))) { echo "SKIP $tested"; $reason = (ereg("^skip[[:space:]]*(.+)\$", trim($output))) ? ereg_replace("^skip[[:space:]]*(.+)\$", "\\1", trim($output)) : FALSE; if ($reason) { @@ -544,6 +544,12 @@ TEST $file } return 'SKIPPED'; } + if (ereg("^info", strtolower(trim($output)))) { + $reason = (ereg("^info[[:space:]]*(.+)\$", trim($output))) ? ereg_replace("^info[[:space:]]*(.+)\$", "\\1", trim($output)) : FALSE; + if ($reason) { + $tested .= " (info: $reason)"; + } + } } } |