diff options
| author | Idar Tollefsen <itollefs@cisco.com> | 2012-01-01 16:32:27 +0100 |
|---|---|---|
| committer | Tim-Philipp Müller <tim.muller@collabora.co.uk> | 2012-01-05 01:13:01 +0000 |
| commit | 17d5f4dc3102038a6651a7d9ee9091d05f7ffef2 (patch) | |
| tree | d0f0bbad9fdb00f08cea35aa7d0568f134a0bc2d /autogen.sh | |
| parent | 1aec7a3d72051ed28911e4732a527b81ecb4939b (diff) | |
build: don't output configure options via autogen if $NOCONFIGURE is set
https://bugzilla.gnome.org/show_bug.cgi?id=667296
Diffstat (limited to 'autogen.sh')
| -rwxr-xr-x | autogen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh index c0cd19e54..fcf1ed50a 100755 --- a/autogen.sh +++ b/autogen.sh @@ -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" |