From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 23 Jan 2012 20:15:07 GMT
Subject: Re: make install rewrites source files
Message-ID: <7vhazm89bo.fsf@alter.siamese.dyndns.org>
In-Reply-To: <hbf.20120123bz2f@bombur.uio.no>

Hallvard Breien Furuseth <h.b.furuseth@usit.uio.no> writes:

> INSTALL says we can install a profiled Git with
> 	$ make profile-all
> 	# make install prefix=...
> This does not work...

We should just drop prefix=... from that line, as the "prefix=value must
be the same while building and installing" is not only about the "profile"
build but applies to any other build.

I however wonder why you would need a separate profile-install target,
though.  Shouldn't 

	$ make foo-build && make install

install a funky 'foo' variant of the build for any supported value of
'foo'?