diff options
Diffstat (limited to 'gcc/flags.h')
| -rw-r--r-- | gcc/flags.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/flags.h b/gcc/flags.h index de5b099d6c0..a294c37de20 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -577,3 +577,7 @@ extern enum graph_dump_types graph_dump_format; string identifying the compiler. */ extern int flag_no_ident; + +/* Nonzero means we should do dwarf2 duplicate elimination. */ + +extern int flag_eliminate_dwarf2_dups; |