* optc-gen.awk (END): Make sure no variable is defined more

[pf3gnuchains/gcc-fork.git] / gcc / optc-gen.awk

diff --git a/gcc/optc-gen.awk b/gcc/optc-gen.awk
index f458b65..ebf6a44 100644 (file)
--- 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;
        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)
 
        printf ("/* Set by -%s.\n   %s  */\nint %s%s;\n\n",
            opts[i], help[i], name,init)

+
+       var_seen[name] = 1;

 }
 
 
 }