diff --git a/configure b/configure index 771d5cc4..647c4bf3 100755 --- a/configure +++ b/configure @@ -254,10 +254,13 @@ EOF execute <