diff options
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"); |