diff options
Diffstat (limited to 'gcc/optc-gen.awk')
| -rw-r--r-- | gcc/optc-gen.awk | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/optc-gen.awk b/gcc/optc-gen.awk index 4c4eef7a8a2..a71eb2a05b0 100644 --- a/gcc/optc-gen.awk +++ b/gcc/optc-gen.awk @@ -77,8 +77,10 @@ for (i = 0; i < n_opts; i++) { else if (name in var_seen) continue; - printf ("/* Set by -%s.\n %s */\nint %s%s;\n\n", - opts[i], help[i], name,init) + print "/* Set by -" opts[i] "." + print " " help[i] " */" + print var_type(flags[i]) name init ";" + print "" var_seen[name] = 1; } |