--- a/Makefile Tue Nov 12 17:34:04 2024 +0100 +++ b/Makefile Mon Nov 18 22:05:42 2024 +0100 @@ -44,6 +44,9 @@ check: config.mk FORCE $(MAKE) -f make/makefile.mk check +check-cxx: config.mk FORCE + $(MAKE) -f make/makefile.mk check-cxx + check-coverage: FORCE $(MAKE) -s check @cd src && $(MAKE) check-coverage