diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2023-09-13 01:31:02 +0200 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2023-09-13 01:31:02 +0200 |
commit | ab4cf77a90ec212c3db8160fbe4cc85bc8a34bbb (patch) | |
tree | 46fa4012b2b4aa5dc24eadd4f08c13927f35178f /Makefile | |
parent | Move around info nodes. (diff) | |
download | calp-ab4cf77a90ec212c3db8160fbe4cc85bc8a34bbb.tar.gz calp-ab4cf77a90ec212c3db8160fbe4cc85bc8a34bbb.tar.xz |
Minor cleanup of test stats from makefile.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 12 |
1 files changed, 9 insertions, 3 deletions
@@ -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) |