diff options
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/dwarf2out.c | 1 |
2 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 22431e5..70ae417 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2017-11-15 Alexandre Oliva <aoliva@redhat.com> + + * dwarf2out.c (gen_producer_string): Discard + OPT_fcompare_debug. + 2017-11-15 Joseph Myers <joseph@codesourcery.com> PR c/81156 diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c index 1c08a2b..76a538f 100644 --- a/gcc/dwarf2out.c +++ b/gcc/dwarf2out.c @@ -23408,6 +23408,7 @@ gen_producer_string (void) case OPT_fltrans_output_list_: case OPT_fresolution_: case OPT_fdebug_prefix_map_: + case OPT_fcompare_debug: /* Ignore these. */ continue; default: |