diff options
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/toplev.c | 6 |
2 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1eb92922..b9d1fe9 100644 --- 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 fc2e8b6..9b07425 100644 --- 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 |