Commit 2d451b40 authored by Lukas Nagel's avatar Lukas Nagel
Browse files

remove docker layer after exectution

parent d69dab0c
Pipeline #144293 passed with stages
in 13 minutes and 15 seconds
......@@ -113,6 +113,6 @@ docker: .docker
touch .docker
with-docker: | docker
docker run -v ${PWD}:/build:rw -it $${DOCKER_TAG:-itt:latest} "make -C /build $(RULE)"
docker run --rm -v ${PWD}:/build:rw $${DOCKER_TAG:-itt:latest} "make -C /build $(RULE)"
.PHONY: presentation mindmap clean docker polish
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment