diff options
Diffstat (limited to 'gcc/optc-gen.awk')
| -rw-r--r-- | gcc/optc-gen.awk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/optc-gen.awk b/gcc/optc-gen.awk index f458b65..ebf6a44 100644 --- a/gcc/optc-gen.awk +++ b/gcc/optc-gen.awk @@ -72,9 +72,13 @@ for (i = 0; i < n_opts; i++) { init = opt_args("Init", flags[i]) if (init != "") init = " = " init; + else if (name in var_seen) + continue; printf ("/* Set by -%s.\n %s */\nint %s%s;\n\n", opts[i], help[i], name,init) + + var_seen[name] = 1; } |