diff --git a/configure b/configure index 9bfb41ce74..d7efa3627e 100755 --- a/configure +++ b/configure @@ -7243,7 +7243,7 @@ cat > $TMPH <