php/archived-php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2026-03-27 17:52:16 +01:00
Code Issues Packages Projects Releases Wiki Activity

- Show easier parseable and greppable output

Browse Source
This commit is contained in:
Derick Rethans
2002-10-08 08:53:51 +00:00
parent ede9bd58b7
commit f830c481f3
1 changed files with 2 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
run-tests.php
View File

@@ -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.');