We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
--rm
make docker
1 parent e3410da commit e0878f5Copy full SHA for e0878f5
Makefile
@@ -12,7 +12,7 @@ clean:
12
env:
13
make -C os env
14
docker:
15
- docker run -it --mount type=bind,source=$(shell pwd),destination=/mnt ${DOCKER_NAME}
+ docker run --rm -it --mount type=bind,source=$(shell pwd),destination=/mnt ${DOCKER_NAME}
16
17
build_docker: qemu-4.1.1.tar.xz riscv64-unknown-elf-gcc-8.3.0-2019.08.0-x86_64-linux-ubuntu14.tar.gz
18
docker build -t ${DOCKER_NAME} .
0 commit comments