OSDN Git Service

* opt-functions.awk (opt_sanitized_name): Remove gdwarf+ handling.
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 10 Oct 2010 17:05:07 +0000 (17:05 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 10 Oct 2010 17:05:07 +0000 (17:05 +0000)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165255 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/opt-functions.awk

index 53f05f6..e348c8c 100644 (file)
@@ -1,3 +1,7 @@
+2010-10-10  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * opt-functions.awk (opt_sanitized_name): Remove gdwarf+ handling.
+
 2010-10-10  Uros Bizjak  <ubizjak@gmail.com>
 
        * config/alpha/alpha.c (alpha_setup_incoming_varargs): Pass pointer
index 863c478..67d428a 100644 (file)
@@ -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
 }