diff --git a/configure b/configure index 07fb7925d8..6ad70b9f7b 100755 --- a/configure +++ b/configure @@ -7754,7 +7754,7 @@ cat > $TMPH <