diff --git a/autogen.sh b/autogen.sh index 62ec132e04..da15ebfd87 100755 --- a/autogen.sh +++ b/autogen.sh @@ -182,16 +182,18 @@ run_and_check() { if test "$?" != 0; then cat <