From da2e878bf982ea2a0fe7727b68dfa211409973bb Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Tue, 17 Oct 2023 15:03:23 +0200 Subject: Something weird is going on here --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 084e1f5..eb622ff 100644 --- a/Makefile +++ b/Makefile @@ -16,7 +16,8 @@ docker-check-%: build act4e-test --collections act4e_checks --module act4e_solutions --group $* check-latest: Homeworks.md build - docker run -it --rm $(tag) act4e-test --collections act4e_checks --module \ + docker run -it -v $(PWD)/out-results:/ACT4E/out-results --rm $(tag) \ + act4e-test --collections act4e_checks --module \ act4e_solutions --group $(shell grep -e "- \[ \] " $< | tr -d "\- [ ]" | head -n1) # check: -- cgit v1.2.1