From 2b78b22ae5f74d32b6e0da086af37389cf9761c8 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 14 Mar 2019 15:50:39 +0000
Subject: Fix `true` invocation in case docker image could not be pushed

---
 scripts/build/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/build/build.sh b/scripts/build/build.sh
index feda6bfe..ebbcde1a 100755
--- a/scripts/build/build.sh
+++ b/scripts/build/build.sh
@@ -337,7 +337,7 @@ build_docker() {
   # Build Docker container
   docker build -t "${REPOSITORY}/${target_image}" -f "${temp_dir}"/Dockerfile "${docker_context}" || return 1
   if [[ "${PUSH_DOCKER_DEPS}" -eq 1 && "${is_dependency}" -eq 1 ]]; then
-    docker push "${REPOSITORY}/${target_image}" || /usr/bin/true
+    docker push "${REPOSITORY}/${target_image}" || true
   fi
 
   if [[ "${KEEP_DOCKERFILE}" -eq 0 ]]; then
-- 
cgit 1.4.1