From 6c6fc2d7db202fc93765cf005d92a324b5aa793a Mon Sep 17 00:00:00 2001
From: 3djc <lesitewebdejc@hotmail.com>
Date: Fri, 1 Dec 2017 16:29:34 +0100
Subject: [PATCH] Workaround

---
 tools/rc22/build-rc.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tools/rc22/build-rc.sh b/tools/rc22/build-rc.sh
index c0cd0bcdb..fcf55cc0e 100755
--- a/tools/rc22/build-rc.sh
+++ b/tools/rc22/build-rc.sh
@@ -18,7 +18,9 @@ cd ${workdir}
 # Create on-demand build environment
 cp code/radio/util/Dockerfile .
 docker build -t new-${docker} .
-docker rmi -f ${docker} || true
+set +e
+docker rmi -f ${docker}
+set -e
 docker tag new-${docker} ${docker}
 docker rmi -f new-${docker}