diff options
Diffstat (limited to 'gcc/opth-gen.awk')
| -rw-r--r-- | gcc/opth-gen.awk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/opth-gen.awk b/gcc/opth-gen.awk index 4f765c23164..0d1d0df375a 100644 --- a/gcc/opth-gen.awk +++ b/gcc/opth-gen.awk @@ -334,7 +334,9 @@ for (i = 0; i < n_opts; i++) { enum_string = enum " = " enum_value "," # Aliases do not get enumeration names. - if (flag_set_p("Alias.*", flags[i])) { + if ((flag_set_p("Alias.*", flags[i]) \ + && !flag_set_p("SeparateAlias", flags[i])) \ + || flag_set_p("Ignore", flags[i])) { enum_string = "/* " enum_string " */" } |