summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--Makefile6
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 83fd1b8..dfc1e28 100644
--- a/Makefile
+++ b/Makefile
@@ -12,9 +12,11 @@ build: pull
check: build
- docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) act4e-tests --module act4e_solutions
+ docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \
+ act4e-test --collections act4e_checks --module act4e_solutions
check-%: build
- docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) act4e-tests --module act4e_solutions --group $*
+ docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \
+ act4e-test --collections act4e_checks --module act4e_solutions --group $*