Workaround

2017-12-01 16:29:34 +01:00
parent 3eccbc2963
commit 6c6fc2d7db
1 changed files with 3 additions and 1 deletions
@@ -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}