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

On Sun, Feb 05, 2012 at 11:18:39PM -0500, Jeff King wrote:

quoted

-	$ 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.

quoted

+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.

quoted

+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