On Sun, Feb 05, 2012 at 11:18:39PM -0500, Jeff King wrote: > > - $ make profile-all > > - # make prefix=... install > > + $ make --prefix=/usr PROFILE=BUILD all > > + # make --prefix=/usr PROFILE=BUILD install > > Eh? --prefix? Oops, configure meme strikes; will fix. > > +As a caveat: a profile-optimized build takes a *lot* longer since it > > +is the sources have to be built twice, and in order for the profiling > > s/it is// Thanks, will fix. > > +ifeq "$(PROFILE)" "GEN" > > + CFLAGS += -fprofile-generate=$(PROFILE_DIR) -DNO_NORETURN=1 > > + EXTLIBS += -lgcov > > + export CCACHE_DISABLE=t > > + V=1 > > +else ifneq "$PROFILE" "" > > Did you mean "$(PROFILE)" in the second conditional? Yes, thanks. Will fix. - Ted -- 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