From 486499e82f546f8e03d4191672fa5cc8c034fdf7 Mon Sep 17 00:00:00 2001
From: Markus Reiter <me@reitermark.us>
Date: Thu, 20 Feb 2020 19:30:30 +0100
Subject: [PATCH] Avoid pulling if image already exists locally.

---
 build-docker-image.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-docker-image.sh b/build-docker-image.sh
index 9f278b2c2..2d1a95b69 100755
--- a/build-docker-image.sh
+++ b/build-docker-image.sh
@@ -10,7 +10,7 @@ run() {
   local image_name="rustembedded/cross:${1}"
   local cache_from_args=
 
-  if docker pull "${image_name}"; then
+  if docker image inspect "${image_name}" &>/dev/null || docker pull "${image_name}"; then
     cache_from_args=(--cache-from "${image_name}")
   fi