CI updates

2023-11-14 19:15:34 +01:00
parent c479fe32b3
commit f74c225338
28 changed files with 228 additions and 162 deletions
@@ -63,6 +63,8 @@ include ./misc/make/Makefile-extra.mk
 endif

 # developer convenience
+test: $(.DEFAULT_GOAL)
+	cd $(.DEFAULT_GOAL) && ctest
 ifneq ($(wildcard /usr/bin/env),) # needs bash, perl, xargs, etc.
 check-whitespace clang-format run-testsuite run-testsuite-debug run-testsuite-release: PHONY src/Makefile
 	$(MAKE) -C src $@