diff options
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-10 17:05:07 +0000 |
|---|---|---|
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-10 17:05:07 +0000 |
| commit | 9e8978ec2610795d7e8bd74bcc122bf8edb56e54 (patch) | |
| tree | ca9ee02e84054427942a95e59408ceb44fdd5815 /gcc/opt-functions.awk | |
| parent | c0c3a864ac2513c7bf571001494c31142b8fbf91 (diff) | |
| download | gcc-9e8978ec2610795d7e8bd74bcc122bf8edb56e54.tar.gz | |
* 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
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 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 } |