From ab4cf77a90ec212c3db8160fbe4cc85bc8a34bbb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Wed, 13 Sep 2023 01:31:02 +0200 Subject: Minor cleanup of test stats from makefile. --- Makefile | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 7ab69459..f662f8ea 100644 --- a/Makefile +++ b/Makefile @@ -100,11 +100,17 @@ GENHTML_FLAGS=--show-details \ --no-function-coverage \ --quiet -coverage: lcov.info +coverage: lcov.info calp genhtml $(GENHTML_FLAGS) --output-directory $@ $< -check: - tests/run-tests.scm $(if $(VERBOSE),--verbose) $(SKIP) $(LIMIT_FILES) + +CHECK_FLAGS = \ + $(if $(CATCH),--catch) \ + $(if $(VERBOSE),--verbose) \ + $(SKIP) $(LIMIT_FILES) + +check: calp + tests/run-tests.scm $(CHECK_FLAGS) litmus: tests/litmus.scm $(path) -- cgit v1.2.3