--- a/Makefile Wed Dec 27 16:18:10 2023 +0100
+++ b/Makefile Wed Dec 27 17:19:54 2023 +0100
@@ -59,6 +59,10 @@
check: compile test-compile FORCE
$(build_dir)/tests/ucxtest
+check-coverage: FORCE
+ $(MAKE) -s check
+ @cd src && $(MAKE) check-coverage
+
test-compile:
cd tests && $(MAKE)