From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 03 Feb 2012 19:58:52 GMT
Subject: Re: [PATCH, RFC] Fix build problems related to profile-directed optimization
Message-ID: <7vaa4zpu2r.fsf@alter.siamese.dyndns.org>
In-Reply-To: <BEE56B27-1C86-4C26-A584-3FF179B7A3D6@mit.edu>

Theodore Tso <tytso@MIT.EDU> writes:

> On Feb 3, 2012, at 1:00 AM, Junio C Hamano wrote:
>
>> 
>> * I am happy that this version handles this well:
>> 
>>   $ make PROFILE=BUILD install
>> 
>>   even though you did not advertise as such in INSTALL ;-).
>
> I can mention it, although it will mean adding more verbiage about
> profile-directed optimization into the INSTALL.

Oh, sorry, I didn't mean it that way.  Please read it as: "Something that
is a natural thing for people to expect after reading what is in INSTALL
works correctly. Yay! Thanks."