mirror of
https://github.com/php/php-src.git
synced 2025-01-22 11:44:09 +08:00
Display the currently running test
This commit is contained in:
parent
8547de3f16
commit
0770772385
@ -676,6 +676,9 @@ TEST $file
|
||||
$shortname = str_replace($cwd.'/', '', $file);
|
||||
$tested = trim($section_text['TEST'])." [$shortname]";
|
||||
|
||||
echo "TEST $tested\r";
|
||||
flush();
|
||||
|
||||
$tmp = realpath(dirname($file));
|
||||
$tmp_skipif = $tmp . uniqid('/phpt.');
|
||||
$tmp_file = ereg_replace('\.phpt$','.php',$file);
|
||||
|
Loading…
Reference in New Issue
Block a user