Clean up docker container after it stops

This commit is contained in:
Jan Schär 2022-03-04 17:40:50 +01:00
parent 6d444bf552
commit da5181799d

View File

@ -28,6 +28,6 @@ mkdir -p $BF_BUILD
# run the command in the docker image with the same userid to avoid # run the command in the docker image with the same userid to avoid
# permission problems later. # permission problems later.
docker run -u $(id -u) -i -t \ docker run -u $(id -u) --rm -i -t \
--mount type=bind,source=$BF_SOURCE,target=/source \ --mount type=bind,source=$BF_SOURCE,target=/source \
$BF_DOCKER $BF_DOCKER