diff --git a/configure b/configure index cd66e42850..65b4659b0a 100755 --- a/configure +++ b/configure @@ -8045,7 +8045,7 @@ cat > $TMPH <