diff --git a/configure b/configure index 51432db3ba..c35f67c685 100755 --- a/configure +++ b/configure @@ -5603,7 +5603,7 @@ cat > $TMPH <