diff options
Diffstat (limited to 'gnu/gcc/gcc-4.8-filename-output.patch')
| -rw-r--r-- | gnu/gcc/gcc-4.8-filename-output.patch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/gnu/gcc/gcc-4.8-filename-output.patch b/gnu/gcc/gcc-4.8-filename-output.patch deleted file mode 100644 index 6951eb239b..0000000000 --- a/gnu/gcc/gcc-4.8-filename-output.patch +++ /dev/null @@ -1,17 +0,0 @@ ---- 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) - { |