diff --git a/configure b/configure index 172611bb4a..fca17e6d9c 100755 --- a/configure +++ b/configure @@ -7155,7 +7155,7 @@ cat > $TMPH <