diff options
| author |  Carl Worth <cworth@cworth.org> | 2011-03-10 11:30:06 -0800 |
|---|---|---|
| committer | Carl Worth <cworth@cworth.org> | 2011-03-10 11:30:06 -0800 |
| commit | 2d6718b837b11b48d6b6ce1ae3f863591d5b651a (patch) | |
| tree | 026c873c0c97356b1392749a557a305bd6e5a565 /Makefile | |
| parent | c4302656123e8c8bc8120400dc266f4acac5a16e (diff) | |
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.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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. |