From 20d3e7ace00bc91fa89cd1b709ff85bd0cb0e4ec Mon Sep 17 00:00:00 2001 From: "J. Alexander Treuman" Date: Sun, 21 Sep 2008 21:36:09 +0200 Subject: [PATCH] autogen: don't run ./configure if $NOCONFIGURE is set --- autogen.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/autogen.sh b/autogen.sh index 1a114ea..4c02b8a 100755 --- a/autogen.sh +++ b/autogen.sh @@ -25,5 +25,7 @@ automake --add-missing # configure -echo "./configure $*" -./configure $* +if test x$NOCONFIGURE = x; then + echo "./configure $*" + ./configure $* +fi -- 2.30.2