From b5dc4559d9a6a11ce114101b9888cccb9db8255e Mon Sep 17 00:00:00 2001 From: Daniel Wagner Date: Thu, 31 Aug 2023 14:03:34 +0200 Subject: [PATCH] build: fix coverage report build We need to run the build first, before we can run the coverage tool. Signed-off-by: Daniel Wagner --- scripts/build.sh | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/scripts/build.sh b/scripts/build.sh index 8e5cf53f..e3b62d89 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -113,17 +113,13 @@ build_meson() { -C "${BUILDDIR}" } -build_meson_coverage() { - ninja -C "${BUILDDIR}" coverage --verbose -} - test_meson() { "${MESON}" test \ -C "${BUILDDIR}" } -test_meson_covarage() { - true; +test_meson_coverage() { + ninja -C "${BUILDDIR}" coverage --verbose } tools_build_samurai() { -- 2.50.1