| Submitter | Eric Botcazou |
|---|---|
| Date | Oct. 10, 2010, 5:04 p.m. |
| Message ID | <201010101904.47810.ebotcazou@adacore.com> |
| Download | mbox | patch |
| Permalink | /patch/67355/ |
| State | New |
| Headers | show |
Comments
Patch
Index: opt-functions.awk =================================================================== --- opt-functions.awk (revision 165234) +++ opt-functions.awk (working copy) @@ -204,8 +204,6 @@ function var_ref(name, flags) # Given the option called NAME return a sanitized version of its name. function opt_sanitized_name(name) { - if (name == "gdwarf+") - name = "gdwarfplus" gsub ("[^A-Za-z0-9]", "_", name) return name }