diff options
| author | Antony Dovgal <tony2001@php.net> | 2009-01-05 09:19:09 +0000 |
|---|---|---|
| committer | Antony Dovgal <tony2001@php.net> | 2009-01-05 09:19:09 +0000 |
| commit | fde1c3d3328f27bb49ee68383a4681808bdad2fd (patch) | |
| tree | f0ac8b4a21e36a5de54fb6533b655598c79d4bc4 /run-tests.php | |
| parent | dc7aa2a949d61376f64b258a04a02f56f2ef8c20 (diff) | |
| download | php-git-fde1c3d3328f27bb49ee68383a4681808bdad2fd.tar.gz | |
MFH: only add "# original source" if a redirect is active
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 47dc73c8f7..c7ab0410da 100755 --- a/run-tests.php +++ b/run-tests.php @@ -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"); |