build_all_use_profile: Build using -fprofile-correction to automatically
correct inconsistent profiles for multi-threaded programs.
diff --git a/Makefile.pre.in b/Makefile.pre.in
index bfa818b..88f6967 100644
--- a/Makefile.pre.in
+++ b/Makefile.pre.in
@@ -448,7 +448,7 @@
$(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:"