diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2010-10-10 17:05:07 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2010-10-10 17:05:07 +0000 |
| commit | e9acb3234d6fe8d8fbbc3f6d94cc2cda45d4b11b (patch) | |
| tree | ca9ee02e84054427942a95e59408ceb44fdd5815 /gcc/opt-functions.awk | |
| parent | b1607943813559574658ede69b4f20d7e7bd9b66 (diff) | |
| download | gcc-e9acb3234d6fe8d8fbbc3f6d94cc2cda45d4b11b.zip gcc-e9acb3234d6fe8d8fbbc3f6d94cc2cda45d4b11b.tar.gz gcc-e9acb3234d6fe8d8fbbc3f6d94cc2cda45d4b11b.tar.bz2 | |
* opt-functions.awk (opt_sanitized_name): Remove gdwarf+ handling.
From-SVN: r165255
Diffstat (limited to 'gcc/opt-functions.awk')
| -rw-r--r-- | gcc/opt-functions.awk | 2 |
1 files changed, 0 insertions, 2 deletions
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 } |