diff --git a/configure b/configure index 1722957a0a..069e846226 100755 --- a/configure +++ b/configure @@ -4315,9 +4315,9 @@ cat > $TMPC <