aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHugo Hörnquist <hugo@lysator.liu.se>2023-09-13 01:31:02 +0200
committerHugo Hörnquist <hugo@lysator.liu.se>2023-09-13 01:31:02 +0200
commitab4cf77a90ec212c3db8160fbe4cc85bc8a34bbb (patch)
tree46fa4012b2b4aa5dc24eadd4f08c13927f35178f
parentMove around info nodes. (diff)
downloadcalp-ab4cf77a90ec212c3db8160fbe4cc85bc8a34bbb.tar.gz
calp-ab4cf77a90ec212c3db8160fbe4cc85bc8a34bbb.tar.xz
Minor cleanup of test stats from makefile.
-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)