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 bfa818bfbb91ddb700f59438498e099f01351ede..88f6967cde630759f0e9e04bc126274caaa9fa77 100644 (file)
--- 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:"