diff --git a/configure b/configure index 72138f448a..6ae7a00f83 100755 --- a/configure +++ b/configure @@ -241,6 +241,7 @@ echolog(){ die(){ echolog "$@" cat <