From 68db9a00070a6926e947a64d76bf20289c2014f9 Mon Sep 17 00:00:00 2001
From: Andrea Censi <acensi@ethz.ch>
Date: Thu, 4 Mar 2021 15:48:57 +0100
Subject: fix

---
 Makefile | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index eb3bfd6..037ff7a 100644
--- a/Makefile
+++ b/Makefile
@@ -5,17 +5,14 @@ tag=mytag
 pull:
 	docker pull andreacensi/act4e:spring2021
 
-build:
+build: pull
 	docker build  -t $(tag) .
 
 
 check: build
-	docker run --rm $(tag) act4e-tests --module act4e_solutions
+	docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) act4e-tests --module act4e_solutions
 
 
 check-%: build
-	docker run --rm $(tag) act4e-tests --module act4e_solutions --group $*
+	docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) act4e-tests --module act4e_solutions --group $*
 
-#
-#check:
-#	docker run -it --rm -v $(PWD):$(PWD):ro -w $(PWD) andreacensi/act4e:spring2021 act4e-tests --module act4e_solutions
-- 
cgit v1.2.1