Makefile.config: Avoid pre-expanding the ${prefix} variable.
authorCarl Worth <cworth@cworth.org>
Thu, 1 Apr 2010 05:41:02 +0000 (22:41 -0700)
committerCarl Worth <cworth@cworth.org>
Thu, 1 Apr 2010 05:54:15 +0000 (22:54 -0700)
commit649b1609a166c4b176b5afb6e4053eb5a88a07d9
treef401bbfc82c17e5d3cf50471e90e4ec69a375f1f
parentab95219a2fe3b7e3a019b98651e7cd7f36e411b3
Makefile.config: Avoid pre-expanding the ${prefix} variable.

One of the supproted mechanisms we offer for configuration is
manually editing the Makefile.config file after it is generated
by the configure script. In this case it would be nice to be able
to change prefix only once, so allow that.
configure