diff --git a/configure b/configure index 3559ea1506..90f130786e 100755 --- a/configure +++ b/configure @@ -5605,7 +5605,7 @@ cat > $TMPH <