build_all_use_profile: Build using -fprofile-correction to automatically

doko42 · doko42 · commit 39b1e5dff3e2 · 2012-06-27T14:13:33.000+02:00
correct inconsistent profiles for multi-threaded programs.
diff --git a/Makefile.pre.in b/Makefile.pre.in
@@ -448,7 +448,7 @@ run_profile_task:
 	$(RUNSHARED) ./$(BUILDPYTHON) $(PROFILE_TASK)
 
 build_all_use_profile:
-	$(MAKE) all CFLAGS="$(CFLAGS) -fprofile-use"
+	$(MAKE) all CFLAGS="$(CFLAGS) -fprofile-use -fprofile-correction"
 
 coverage:
 	@echo "Building with support for coverage checking:"
