* toplev.c (display_target_options): Don't print twice.

From-SVN: r47659

gcc/ChangeLog

+2001-12-05  Neil Booth  <neil@daikokuya.demon.co.uk>
+
+	* toplev.c (display_target_options): Don't print twice.
+
 Wed Dec  5 00:42:16 EST 2001  John Wehle  (john@feith.com)
 
 	* emit-rtl.c (set_unique_reg_note): Don't set

gcc/toplev.c

@@ -3697,6 +3697,12 @@ static void
 display_target_options ()
 {
   int undoc,i;
+  static bool displayed = false;
+
+  /* Avoid double printing for --help --target-help.  */
+  if (displayed)
+    return;
+  displayed = true;
 
   if (ARRAY_SIZE (target_switches) > 1
 #ifdef TARGET_OPTIONS