From 086b23ab6fd39d3a39ad6f889bcd66319eba7489 Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Wed, 4 Oct 2023 18:21:34 +0200 Subject: Change Makefile to not use fat VS Code docker image --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 9c80517..2165229 100644 --- a/Makefile +++ b/Makefile @@ -3,7 +3,8 @@ all: tag=act4e-image build: - docker build -f .devcontainer/Dockerfile --build-arg DOCKER_REGISTRY=${DOCKER_REGISTRY} -t $(tag) . + # docker build -f .devcontainer/Dockerfile --build-arg DOCKER_REGISTRY=${DOCKER_REGISTRY} -t $(tag) . + 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) \ -- cgit v1.2.1