diff --git a/configure b/configure index 9df25c28..455ad930 100755 --- a/configure +++ b/configure @@ -20,7 +20,7 @@ cat <