aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/dwarf2out.c1
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: