From ff641bdb2f87188c16c24cee729b210cc827c4c7 Mon Sep 17 00:00:00 2001 From: Chengwei Yang Date: Thu, 6 Jun 2013 11:36:22 +0800 Subject: [PATCH] Do not suggest user to do 'make' if configure failed Bug: https://bugs.freedesktop.org/show_bug.cgi?id=65415 Signed-off-by: Chengwei Yang Reviewed-by: Simon McVittie --- autogen.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/autogen.sh b/autogen.sh index 15581120d..b049f4ef0 100755 --- a/autogen.sh +++ b/autogen.sh @@ -101,7 +101,7 @@ else fi if $run_configure; then - $srcdir/configure --enable-developer --config-cache "$@" + $srcdir/configure --enable-developer --config-cache "$@" || exit $? echo echo "Now type 'make' to compile $PROJECT." else -- 2.47.3