diff options
-rw-r--r-- | Makefile.pre.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile.pre.in b/Makefile.pre.in index 6dd1b51..2f4ca28 100644 --- a/Makefile.pre.in +++ b/Makefile.pre.in @@ -230,8 +230,10 @@ HOST_GNU_TYPE= @host@ TCLTK_INCLUDES= @TCLTK_INCLUDES@ TCLTK_LIBS= @TCLTK_LIBS@ -# The task to run while instrument when building the profile-opt target -PROFILE_TASK=-m test.regrtest --pgo +# The task to run while instrumented when building the profile-opt target. +# We exclude unittests with -x that take a rediculious amount of time to +# run in the instrumented training build or do not provide much value. +PROFILE_TASK=-m test.regrtest --pgo -x test_asyncore test_gdb test_multiprocessing_fork test_multiprocessing_forkserver test_multiprocessing_main_handling test_multiprocessing_spawn test_subprocess # report files for gcov / lcov coverage report COVERAGE_INFO= $(abs_builddir)/coverage.info |