From c1c6445ce2ef6b405d6f62c8889b15e9cf81617e Mon Sep 17 00:00:00 2001 From: John Naulty Date: Sat, 28 Nov 2020 13:01:05 -0800 Subject: [PATCH] clean up exited docker containers during build --- make/tools.mk | 1 + 1 file changed, 1 insertion(+) diff --git a/make/tools.mk b/make/tools.mk index bd2f636..a298566 100644 --- a/make/tools.mk +++ b/make/tools.mk @@ -43,6 +43,7 @@ define build docker run \ --interactive \ --tty \ + --rm \ --env URL="$(2)" \ --env REF="$(3)" \ --env CMD="$(4)" \