diff --git a/configure b/configure index b6a17b1c5a..89872dab3c 100755 --- a/configure +++ b/configure @@ -196,7 +196,7 @@ die(){ cat <