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

diff --git a/run-tests.php b/run-tests.php
index f89535c5d3e77bb396507729de67324ebe4243f0..82f7b24152b5db02614ca9bd4600d1c3d5e8712b 100755 (executable)
--- 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");