diff --git a/configure b/configure index 6ca37ca509..ea3893dfe5 100755 --- a/configure +++ b/configure @@ -7513,7 +7513,7 @@ cat > $TMPH <