From 9e8978ec2610795d7e8bd74bcc122bf8edb56e54 Mon Sep 17 00:00:00 2001
From: ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Sun, 10 Oct 2010 17:05:07 +0000
Subject: 	* opt-functions.awk (opt_sanitized_name): Remove gdwarf+
 handling.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165255 138bc75d-0d04-0410-961f-82ee72b054a4
---
 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 863c4787636..67d428a7d24 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.2.1