]> git.notmuchmail.org Git - notmuch/commitdiff
build: Save configure options and re-use them for automatic runs of configure
authorCarl Worth <cworth@cworth.org>
Thu, 10 Mar 2011 19:30:06 +0000 (11:30 -0800)
committerCarl Worth <cworth@cworth.org>
Thu, 10 Mar 2011 19:30:06 +0000 (11:30 -0800)
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.


No differences found