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