Makefile

changeset 774
4fd4e0c6107a
parent 769
b53e0e003d7e
child 779
e9611e4d0213
     1.1 --- a/Makefile	Wed Dec 27 16:18:10 2023 +0100
     1.2 +++ b/Makefile	Wed Dec 27 17:19:54 2023 +0100
     1.3 @@ -59,6 +59,10 @@
     1.4  check: compile test-compile FORCE
     1.5  	$(build_dir)/tests/ucxtest
     1.6  
     1.7 +check-coverage: FORCE
     1.8 +	$(MAKE) -s check
     1.9 +	@cd src && $(MAKE) check-coverage
    1.10 +
    1.11  test-compile:
    1.12  	cd tests && $(MAKE)
    1.13  

mercurial