diff options
| author | Derick Rethans <derick@php.net> | 2002-10-08 08:53:51 +0000 |
|---|---|---|
| committer | Derick Rethans <derick@php.net> | 2002-10-08 08:53:51 +0000 |
| commit | f830c481f389de4cd4a6bd22e65e962bd346a151 (patch) | |
| tree | bcb60d33b673ab8f8b05cf2729397cee9979fc92 /run-tests.php | |
| parent | ede9bd58b75ac5ae7301097e2b21f7fbd84f60e1 (diff) | |
| download | php-git-f830c481f389de4cd4a6bd22e65e962bd346a151.tar.gz | |
- Show easier parseable and greppable output
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/run-tests.php b/run-tests.php index 54bcd96acf..8d914c3fe2 100755 --- a/run-tests.php +++ b/run-tests.php @@ -181,14 +181,7 @@ echo "TIME START " . date('Y-m-d H:i:s', $start_time) . " ===================================================================== "; -$path_current = ''; foreach ($test_files as $name) { - $path = dirname($name); - if ($path_current != $path) { - $path_current = $path; - echo " entering directory $path\n"; - } - $test_results[$name] = run_test($php,$name); } @@ -307,7 +300,8 @@ TEST $file } fclose($fp); - $tested = trim($section_text['TEST']).' ('.basename($file).')'; + $shortname = str_replace($GLOBALS['cwd'].'/', '', $file); + $tested = trim($section_text['TEST'])." [$shortname]"; $tmp = realpath(dirname($file)); $tmp_skipif = $tmp . uniqid('/phpt.'); |
