diff options
Diffstat (limited to 'gcc/opth-gen.awk')
| -rw-r--r-- | gcc/opth-gen.awk | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/gcc/opth-gen.awk b/gcc/opth-gen.awk index e95af00d2c4..1a63bc90f63 100644 --- a/gcc/opth-gen.awk +++ b/gcc/opth-gen.awk @@ -68,12 +68,9 @@ for (i = 0; i < n_opts; i++) { if (name == "") continue; - print "/* Set by -" opts[i] "." - print " " help[i] " */" - print "extern int " name ";" - print "" - - } + print "extern " var_type(flags[i]) name ";" +} +print "" for (i = 0; i < n_opts; i++) { name = opt_args("Mask", flags[i]) |