diff -r bbf2f18b3818 -r 4fd4e0c6107a Makefile
--- 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)