Theodore Tso <tytso@xxxxxxx> 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." -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html