diff --git a/configure b/configure index 5990d3fc4e..9958a2355d 100755 --- a/configure +++ b/configure @@ -741,12 +741,12 @@ if test "$_gcc_check" = yes ; then if test "$cc_verc_fail" = yes ; then cat <