Makefile

changeset 774
4fd4e0c6107a
parent 769
b53e0e003d7e
child 779
e9611e4d0213
--- 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)
 

mercurial