diff --git a/configure b/configure index a30a2c92dd..7cd80fd670 100755 --- a/configure +++ b/configure @@ -277,7 +277,7 @@ die(){ cat <