diff options
Diffstat (limited to 'gcc/common.opt')
-rw-r--r-- | gcc/common.opt | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/common.opt b/gcc/common.opt index 1f11fcd4d5d..deeb3f20a3b 100644 --- a/gcc/common.opt +++ b/gcc/common.opt @@ -2412,13 +2412,17 @@ Common JoinedOrMissing Generate debug information in default extended format gno-pubnames -Common RejectNegative Var(debug_generate_pub_sections, 0) Init(-1) +Common Negative(gpubnames) Var(debug_generate_pub_sections, 0) Init(-1) Don't generate DWARF pubnames and pubtypes sections. gpubnames -Common RejectNegative Var(debug_generate_pub_sections, 1) +Common Negative(ggnu-pubnames) Var(debug_generate_pub_sections, 1) Generate DWARF pubnames and pubtypes sections. +ggnu-pubnames +Common Negative(gno-pubnames) Var(debug_generate_pub_sections, 2) +Generate DWARF pubnames and pubtypes sections with GNU extensions. + gno-record-gcc-switches Common RejectNegative Var(dwarf_record_gcc_switches,0) Init(1) Don't record gcc command line switches in DWARF DW_AT_producer. |