projects
/
platform
/
upstream
/
gstreamer.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1aec7a3
)
build: don't output configure options via autogen if $NOCONFIGURE is set
author
Idar Tollefsen
<itollefs@cisco.com>
Sun, 1 Jan 2012 15:32:27 +0000
(16:32 +0100)
committer
Tim-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
patch
|
blob
|
history
diff --git
a/autogen.sh
b/autogen.sh
index
c0cd19e
..
fcf1ed5
100755
(executable)
--- 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"