]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
* opt-functions.awk (opt_sanitized_name): Remove gdwarf+ handling.
authorEric Botcazou <ebotcazou@adacore.com>
Sun, 10 Oct 2010 17:05:07 +0000 (17:05 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Sun, 10 Oct 2010 17:05:07 +0000 (17:05 +0000)
From-SVN: r165255

gcc/ChangeLog
gcc/opt-functions.awk

index 53f05f61fa6daec2b38fa2e3d964206f6918f4c2..e348c8c1e524de5895c8e247e905987bdd4a099b 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 863c4787636709e1d167b4ea27808ff85a4fb51d..67d428a7d24b9a3910ea40d7eea40197ebd91251 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
 }