From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 23 Jan 2012 20:52:14 GMT
Subject: Re: make install rewrites source files
Message-ID: <7vaa5e87lt.fsf@alter.siamese.dyndns.org>
In-Reply-To: <4F1DC2F7.2070502@ubuntu.com>

Phillip Susi <psusi@ubuntu.com> 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.