diff --git a/configure b/configure index c931b867c5..6fecd29e6c 100755 --- a/configure +++ b/configure @@ -8384,7 +8384,7 @@ cat > $TMPH <