diff options
Diffstat (limited to 'gcc-4.8-filename-output.patch')
| -rw-r--r-- | gcc-4.8-filename-output.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gcc-4.8-filename-output.patch b/gcc-4.8-filename-output.patch new file mode 100644 index 000000000000..6951eb239b77 --- /dev/null +++ b/gcc-4.8-filename-output.patch @@ -0,0 +1,17 @@ +--- gcc/c-family/c-opts.c (revision 200330) ++++ gcc/c-family/c-opts.c (working copy) +@@ -1338,10 +1338,14 @@ c_finish_options (void) + + /* Give CPP the next file given by -include, if any. */ + static void + push_command_line_include (void) + { ++ // This can happen if disabled by -imacros for example. ++ if (include_cursor > deferred_count) ++ return; ++ + if (!done_preinclude) + { + done_preinclude = true; + if (flag_hosted && std_inc && !cpp_opts->preprocessed) + { |