diff --git a/configure b/configure index 908473edf1..9d12a1ac3c 100755 --- a/configure +++ b/configure @@ -6144,7 +6144,7 @@ cat > $TMPH <