diff options
author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-05-28 15:32:00 -0400 |
---|---|---|
committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-05-28 15:32:00 -0400 |
commit | 2c101ec0d9acdf02d142a9e1e52c64435420b3d4 (patch) | |
tree | b6300808e5d65a19a0bfc84dca77ed4e986de6ca | |
parent | bf3667b8b76eefd95e33e32b4f5abbf2de0e2065 (diff) |
make check: Sort coverage reports differently
-rw-r--r-- | GNUmakefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 146f725..758c5aa 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -107,6 +107,7 @@ check: # `gcovr` is a Python script that calls `gcov` and merges and post-processes the .gcov files to other formats gcovr_flags = --txt=$(@D)/coverage.txt gcovr_flags += --html=$(@D)/coverage.html --html-details --html-single-page=js-enabled +gcovr_flags += --sort uncovered-number --sort-reverse $(foreach t,$(build_types),$(foreach p,$(platforms),build/$p-$t/check)): build/%/check: build/%/build ./build-aux/gcov-prune $(@D) +cd $(@D) && ctest --output-on-failure $(if $(filter --jobserver-auth=%,$(MAKEFLAGS)),--parallel) |