From e9acb3234d6fe8d8fbbc3f6d94cc2cda45d4b11b Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Sun, 10 Oct 2010 17:05:07 +0000 Subject: * opt-functions.awk (opt_sanitized_name): Remove gdwarf+ handling. From-SVN: r165255 --- gcc/opt-functions.awk | 2 -- 1 file changed, 2 deletions(-) (limited to 'gcc/opt-functions.awk') diff --git a/gcc/opt-functions.awk b/gcc/opt-functions.awk index 863c478..67d428a 100644 --- a/gcc/opt-functions.awk +++ b/gcc/opt-functions.awk @@ -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 } -- cgit v1.1