Message ID | 201010101904.47810.ebotcazou@adacore.com |
---|---|
State | New |
Headers | show |
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 }