diff options
| -rw-r--r-- | Makefile.pre.in | 2 |
1 files changed, 1 insertions, 1 deletions
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 @@ 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:" |