aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile12
1 files 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)