diff --git a/configure b/configure index 37f43b706c..5f22daa422 100755 --- a/configure +++ b/configure @@ -449,14 +449,9 @@ if test "$cc_verc_fail" ; then cat <