Makefile

changeset 988
15b3ca7ee33f
parent 791
945ee9bf2dd1
--- 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

mercurial