diff options
Diffstat (limited to 'gcc-4.8-filename-output.patch')
| -rw-r--r-- | gcc-4.8-filename-output.patch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/gcc-4.8-filename-output.patch b/gcc-4.8-filename-output.patch deleted file mode 100644 index 7c2ee0aa5a58..000000000000 --- a/gcc-4.8-filename-output.patch +++ /dev/null @@ -1,17 +0,0 @@ -diff --git a/gcc/c-family/c-opts.c b/gcc/c-family/c-opts.c -index 968b703..3f8e6e6 100644 ---- a/gcc/c-family/c-opts.c -+++ b/gcc/c-family/c-opts.c -@@ -1438,6 +1438,12 @@ c_finish_options (void) - static void - push_command_line_include (void) - { -+ /* This can happen if disabled by -imacros for example. -+ Punt so that we don't set "<command-line>" as the filename for -+ the header. */ -+ if (include_cursor > deferred_count) -+ return; -+ - if (!done_preinclude) - { - done_preinclude = true; |