Re: make install rewrites source files
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jan 23, 2012, 20:52 UTC
- Message-ID
- <7vaa5e87lt.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <4F1DC2F7.2070502@ubuntu.com>
Phillip Susi <psusi@ubuntu.com> writes:
Show 5 quoted lines
> 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.