diff --git a/configure b/configure index 126772b164..5af693c954 100755 --- a/configure +++ b/configure @@ -7996,7 +7996,7 @@ cat > $TMPH <