Subject: Re: make install rewrites source files

From: Junio C Hamano <[email-masked]>
Date: Mon, 23 Jan 2012 12:52:14 -0800

Phillip Susi <[email-masked]> writes:

> On 1/23/2012 9:18 AM, Hallvard Breien Furuseth wrote:
>> 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.