diff --git a/configure b/configure index 5a82980cc1..bf42ade4b1 100755 --- a/configure +++ b/configure @@ -7000,7 +7000,7 @@ cat > $TMPH <