diff options
author | Oliver Smith <osmith@sysmocom.de> | 2022-02-11 15:24:28 +0100 |
---|---|---|
committer | osmith <osmith@sysmocom.de> | 2022-02-14 07:46:23 +0000 |
commit | a0a991f4123b1c09fe420d4fa8d88cc951180895 (patch) | |
tree | a30609521a1307f14983469130fab75674054cc0 /make/Makefile | |
parent | 45a2b5d817605fe0a7d5ce5207d2cad0d63dde69 (diff) |
make/Makefile: always use docker run --rm
Add --rm to the "docker run" line in make/Makefile, and remove it from
RUN_ARGS.
Related: https://osmocom.org/projects/osmocom-servers/wiki/Docker_cache_clean_up
Related: SYS#5827
Change-Id: Iea063aa39a08397ea64d2018b433991a130e7f56
Diffstat (limited to 'make/Makefile')
-rw-r--r-- | make/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/make/Makefile b/make/Makefile index 20733b0..29a7ac0 100644 --- a/make/Makefile +++ b/make/Makefile @@ -166,6 +166,7 @@ minor-release: tag-minor-release release major-release: tag-major-release release @echo $(VERSION) - +# Always use --rm, so we don't waste disk space +# https://osmocom.org/projects/osmocom-servers/wiki/Docker_cache_clean_up run: - docker run $(RUN_ARGS) $(IMAGE) $(RUN_CMD) + docker run --rm $(RUN_ARGS) $(IMAGE) $(RUN_CMD) |