Fix option listing.

diff --git a/Configure b/Configure
index 300a3ac8026a3e818fc5dd93594ae9523e60a1c6..6098af778560aa3dd5571cf5ccd02fcbf89d8255 100755 (executable)
--- a/Configure
+++ b/Configure
@@ -599,7 +599,6 @@ sub bad_target
        my $j=0;
        foreach my $i (sort keys %table)
                {
-               next if /^b-/;
                print STDERR "\n" if ($j++ % 4) == 0;
                printf(STDERR "%-18s ",$i);
                }