Re: [PATCH, RFC] Fix build problems related to profile-directed optimization
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 3, 2012, 19:58 UTC
- Message-ID
- <7vaa4zpu2r.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <BEE56B27-1C86-4C26-A584-3FF179B7A3D6@mit.edu>
Theodore Tso <tytso@MIT.EDU> writes:
Show 11 quoted lines
> 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."