From 7ca1957d7539be03f9a93701278288bce488944c Mon Sep 17 00:00:00 2001 From: Andrea Censi Date: Sun, 21 Feb 2021 14:16:19 +0100 Subject: fix --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 51c3aa6..eb3bfd6 100644 --- a/Makefile +++ b/Makefile @@ -3,18 +3,18 @@ all: tag=mytag pull: - docker pull andreacensi/act4e:spring2021 + docker pull andreacensi/act4e:spring2021 build: docker build -t $(tag) . check: build - docker run -it --rm $(tag) act4e-tests --module act4e_solutions + docker run --rm $(tag) act4e-tests --module act4e_solutions check-%: build - docker run -it --rm $(tag) act4e-tests --module act4e_solutions --group $* + docker run --rm $(tag) act4e-tests --module act4e_solutions --group $* # #check: -- cgit v1.2.1