Commit 17d5f4dc authored by Idar Tollefsen's avatar Idar Tollefsen Committed by Tim-Philipp Müller
Browse files

build: don't output configure options via autogen if $NOCONFIGURE is set
parent 1aec7a3d
......@@ -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 options"
echo " This autogen script will automatically run ./configure as:"
echo " ./configure $CONFIGURE_DEF_OPT"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment