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 /configure | |
| 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 'configure')
| -rwxr-xr-x | configure | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -529,8 +529,13 @@ cat > Makefile.config <<EOF # changes, (and this could happen by simply calling "make" if the # configure script is updated). +# The top-level directory for the source, (the directory containing +# the configure script). This may be different than the build +# directory (the current directory at the time configure was run). srcdir = ${srcdir} +configure_options = $@ + # We use vpath directives (rather than the VPATH variable) since the # VPATH variable matches targets as well as prerequisites, (which is # not useful since then a target left-over from a srcdir build would |