diff options
-rw-r--r-- | gcc/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/dwarf2out.c | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 80f8c92..1efbd46 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2015-01-17 Jan Kratochvil <jan.kratochvil@redhat.com> + + * dwarf2out.c (gen_producer_string): Ignore also OPT_fpreprocessed. + 2015-01-17 Bernd Schmidt <bernds@codesourcery.com> PR rtl-optimization/52773 diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c index ebb1b6d..5190c86 100644 --- a/gcc/dwarf2out.c +++ b/gcc/dwarf2out.c @@ -19624,6 +19624,7 @@ gen_producer_string (void) case OPT__sysroot_: case OPT_nostdinc: case OPT_nostdinc__: + case OPT_fpreprocessed: /* Ignore these. */ continue; default: |