diff --git a/configure b/configure index 7180e5e7..fd194ab0 100755 --- a/configure +++ b/configure @@ -106,18 +106,20 @@ EOF fi cat <