build: don't output configure options via autogen if $NOCONFIGURE is set
authorIdar Tollefsen <itollefs@cisco.com>
Sun, 1 Jan 2012 15:32:27 +0000 (16:32 +0100)
committerTim-Philipp Müller <tim.muller@collabora.co.uk>
Thu, 5 Jan 2012 01:13:01 +0000 (01:13 +0000)
https://bugzilla.gnome.org/show_bug.cgi?id=667296

autogen.sh

index c0cd19e..fcf1ed5 100755 (executable)
@@ -56,7 +56,7 @@ autoheader_check || DIE=1
 die_check $DIE
 
 # if no arguments specified then this will be printed
-if test -z "$*"; then
+if test -z "$*" && test -z "$NOCONFIGURE"; then
   echo "+ checking for autogen.sh options"
   echo "  This autogen script will automatically run ./configure as:"
   echo "  ./configure $CONFIGURE_DEF_OPT"