From: Carl Worth Date: Thu, 10 Mar 2011 19:30:06 +0000 (-0800) Subject: build: Save configure options and re-use them for automatic runs of configure X-Git-Tag: debian/0.6_254~180 X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=2d6718b837b11b48d6b6ce1ae3f863591d5b651a;p=notmuch.git build: Save configure options and re-use them for automatic runs of configure This supports the case of a user running "configure --prefix=/foo" then later updating the soruce (including the configure script) and re-running make. In this case, the make invocation will re-run configure. Before this change, this run of configure would lose the user's carefully chosen prefix. This is now fixed so that configrue is re-run with the user's options. --- diff --git a/Makefile b/Makefile index ffee659b..11e3a3d9 100644 --- a/Makefile +++ b/Makefile @@ -25,13 +25,15 @@ srcdir ?= . include Makefile.config Makefile.config: $(srcdir)/configure +ifeq ($(configure_options),) @echo "" @echo "Note: Calling ./configure with no command-line arguments. This is often fine," @echo " but if you want to specify any arguments (such as an alternate prefix" @echo " into which to install), call ./configure explicitly and then make again." @echo " See \"./configure --help\" for more details." @echo "" - ./configure +endif + $(srcdir)/configure $(configure_options) # Finally, include all of the Makefile.local fragments where all the # real work is done. diff --git a/configure b/configure index 157ecf39..bbf30cd5 100755 --- a/configure +++ b/configure @@ -529,8 +529,13 @@ cat > Makefile.config <