diff --git a/configure b/configure index b75848bea42..f3181659926 100755 --- a/configure +++ b/configure @@ -5559,48 +5559,49 @@ if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;} fi +cat <