diff --git a/configure b/configure index 34c2adb4a4..6a7a85cbb9 100755 --- a/configure +++ b/configure @@ -7397,7 +7397,7 @@ cat > $TMPH <