From dfb24ac5177bbe4a20c7d0dcc29a77fcdf3f4372 Mon Sep 17 00:00:00 2001
From: Erik Dannenberg <erik.dannenberg@bbe-consulting.de>
Date: Sun, 3 Feb 2019 19:01:17 +0100
Subject: [PATCH] Remove untagged docker images before exiting build_image()

---
 engine/docker.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/engine/docker.sh b/engine/docker.sh
index 0d04f81b..e35f5bff 100644
--- a/engine/docker.sh
+++ b/engine/docker.sh
@@ -246,6 +246,9 @@ function build_image() {
     _status_msg="tag image ${image_id}:latest"
     pwrap 'nolog' "${DOCKER}" tag "${image_id}:${IMAGE_TAG}" "${image_id}:latest" || die "${_status_msg}"
 
+    _status_msg="remove untagged images"
+    pwrap "${DOCKER}" image prune -f
+
     add_documentation_header "${image_id}" "${image_type}" || die "Failed to generate PACKAGES.md for ${image_id}"
     local has_tests done_text
     [[ -n "${POST_BUILD_HC}" || -f "${image_path}/build-test.sh" ]] && has_tests='true'