diff --git a/scripts/run_or_skip.sh b/scripts/run_or_skip.sh index 7dd9e319bb..6f28e264a2 100755 --- a/scripts/run_or_skip.sh +++ b/scripts/run_or_skip.sh @@ -18,7 +18,7 @@ DIGEST_FILE="$CACHE_DIR/$MAKE_TARGET.digests" mkdir -p "$CACHE_DIR" get_image_ids() { - depot pull >/dev/null 2>&1 || true + local depot_pull_out=$(depot pull 2>&1 || true) local ids="" for img in $(echo "$IMAGES"); do local id=$(docker image inspect "$img" --format='{{.Id}}' 2>/dev/null || true)