diff --git a/configure b/configure index 5734edaa5a..b111033590 100755 --- a/configure +++ b/configure @@ -7515,7 +7515,7 @@ cat > $TMPH <