diff --git a/configure b/configure index 4963c50dac..56e645e423 100755 --- a/configure +++ b/configure @@ -7397,7 +7397,7 @@ cat > $TMPH <