diff --git a/configure b/configure index 97aab62990..a48f7858bf 100755 --- a/configure +++ b/configure @@ -6799,7 +6799,7 @@ cat > $TMPH <