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