diff --git a/configure b/configure index 00f1343601..245783d4de 100755 --- a/configure +++ b/configure @@ -6703,7 +6703,7 @@ cat > $TMPH <