summaryrefslogtreecommitdiff
path: root/run-tests.php
diff options
context:
space:
mode:
authorDerick Rethans <derick@php.net>2002-10-08 08:53:51 +0000
committerDerick Rethans <derick@php.net>2002-10-08 08:53:51 +0000
commitf830c481f389de4cd4a6bd22e65e962bd346a151 (patch)
treebcb60d33b673ab8f8b05cf2729397cee9979fc92 /run-tests.php
parentede9bd58b75ac5ae7301097e2b21f7fbd84f60e1 (diff)
downloadphp-git-f830c481f389de4cd4a6bd22e65e962bd346a151.tar.gz
- Show easier parseable and greppable output
Diffstat (limited to 'run-tests.php')
-rwxr-xr-xrun-tests.php10
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.');