diff mbox

[Ada] Remove support for obsolete switch

Message ID 201010101904.47810.ebotcazou@adacore.com
State New
Headers show

Commit Message

Eric Botcazou Oct. 10, 2010, 5:04 p.m. UTC 
> Then you should also remove the gdwarf+ special case in
> opt-functions.awk:opt_sanitized_name.

Indeed, thanks for pointing this out.  Applied on the mainline as obvious.


	* opt-functions.awk (opt_sanitized_name): Remove gdwarf+ handling.
diff mbox

Patch

Index: opt-functions.awk
===================================================================
--- opt-functions.awk	(revision 165234)
+++ opt-functions.awk	(working copy)
@@ -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
 }