diff --git a/configure b/configure index 8569a60bf8..36713ab658 100755 --- a/configure +++ b/configure @@ -7513,7 +7513,7 @@ cat > $TMPH <