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

From-SVN: r47659

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1eb92922f7049e260961c92cdbbe09e55b3afb96..b9d1fe97a492c621f80655a675ebb0ed67fa814e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+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

diff --git a/gcc/toplev.c b/gcc/toplev.c
index fc2e8b6cdabb69d4442385af47e5c32b93d00282..9b074251a17ebd98527948b12d203d48821877b0 100644 (file)
--- a/gcc/toplev.c
+++ b/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