Re: make install rewrites source files

Phillip Susi [off-list ref] writes:

On 1/23/2012 9:18 AM, Hallvard Breien Furuseth wrote:

quoted

INSTALL says we can install a profiled Git with $ make profile-all 
# make install prefix=...

prefix should be an argument to configure, not make.

What are you talking about?  Use of ./configure is entirely optional, and
our Makefile _does_ support giving prefix on the command line.