From ae97a52c1e4adb680d4aca553a742279f76528c9 Mon Sep 17 00:00:00 2001
From: Nao Pross <np@0hm.ch>
Date: Thu, 16 Nov 2023 21:58:42 +0100
Subject: Remove unused Morph and Obj, use equations

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 084e1f5..300e14b 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@ build:
 	docker build -f Dockerfile --build-arg DOCKER_REGISTRY=${DOCKER_REGISTRY} -t $(tag) .
 
 docker-check: build
-	docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \
+	docker run -it --rm $(tag) \
 		act4e-test --collections act4e_checks --module act4e_solutions
 
 
-- 
cgit v1.2.1