Skip to content

Commit 7edde80

Browse files
author
Chris Wiechmann
committed
Update pull_apim_docker_image.sh
1 parent 3139216 commit 7edde80

1 file changed

Lines changed: 2 additions & 4 deletions

File tree

build/pull_apim_docker_image.sh

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,8 @@
11
#!/bin/sh
22

3-
set -x
4-
5-
if [ -f $CACHE_FILE_APIM -a "$SKIP_CACHE"!="true" ]
3+
if [ -f $CACHE_FILE_APIM -a "$SKIP_CACHE" != "true" ]
64
then
7-
echo "Loading API-Manager docker image: $APIM_DOCKER_IMAGE from $CACHE_FILE_APIM"
5+
echo "Using cached API-Manager docker image: $APIM_DOCKER_IMAGE from $CACHE_FILE_APIM"
86
gunzip -c $CACHE_FILE_APIM | docker load
97
else
108
echo "Pulling APIM docker from registry, this will take a while"

0 commit comments

Comments
 (0)