Re: [PATCH, RFC] Fix build problems related to profile-directed optimization

Theodore Tso [off-list ref] writes:

On Feb 3, 2012, at 1:00 AM, Junio C Hamano wrote:

quoted

* 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."