mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-01-22 11:44:09 +08:00
Code Issues Packages Projects Releases Wiki Activity

only add "# original source" if a redirect is active

Browse Source
This commit is contained in:
Antony Dovgal 2009-01-05 09:18:57 +00:00
parent a26c94c7d9
commit 9a06642ab0
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
run-tests.php
View File

@ -1870,7 +1870,9 @@ COMMAND $cmd
// write .diff
$diff = generate_diff($wanted, $wanted_re, $output);
$diff = "# original source file: $shortname\n" . $diff;
if (is_array($IN_REDIRECT)) {
$diff = "# original source file: $shortname\n" . $diff;
}
show_file_block('diff', $diff);
if (strpos($log_format, 'D') !== false && file_put_contents($diff_filename, (binary) $diff, FILE_BINARY) === false) {
error("Cannot create test diff - $diff_filename");