| commit | a6c6ff400624a49f7019b45b8f8a937de149bbcc | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Apr 04 18:06:44 2025 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Apr 04 18:06:44 2025 -0400 |
| tree | 04cba576cdd4da584a164b900c640f41dcf68a63 | |
| parent | ce9733e5f5ab7c9165118ca1619b7669f0446fc1 [diff] [blame] |
build: use base version in pkgconfig file Change-Id: Ie63edcffa61caafca3d64e77753e45fee8ce55da
diff --git a/.jenkins.d/30-coverage.sh b/.jenkins.d/30-coverage.sh index b6d3147..af3a416 100755 --- a/.jenkins.d/30-coverage.sh +++ b/.jenkins.d/30-coverage.sh
@@ -35,6 +35,7 @@ --quiet \ --branch-coverage \ --demangle-cpp \ + --flat \ --legend \ --missed \ --show-proportion \