diff options
| author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-01-04 07:47:56 +0000 |
|---|---|---|
| committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-01-04 07:47:56 +0000 |
| commit | 6374b03133449ad31e9285ffd3bb78acca1efee9 (patch) | |
| tree | 3469e39d25beca9221ae4f92f267bff615da41ce /start-container-docker.sh | |
| parent | 49acfb8a50661b74f64352914b48b259be6bef38 (diff) | |
Docker image pull: And one more fix
... to ignore "docker rmi" failures on used images.
Change-Id: I69fd40c45fe5f0b36e4b833097c2ac4e5a57b984
Diffstat (limited to 'start-container-docker.sh')
| -rwxr-xr-x | start-container-docker.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/start-container-docker.sh b/start-container-docker.sh index f306c34e..179a5ac4 100755 --- a/start-container-docker.sh +++ b/start-container-docker.sh @@ -237,7 +237,7 @@ pull_image=false # that any change to master docker images will be deployed within a day. pull_if_older_than=$(($(date +%s) - 1*24*60*60)) # Use negative comparison to handle non-existent stamp files. -if ! [ "$(stat -c %Z "$image_stamp.pull")" \ +if ! [ "$(stat -c %Z "$image_stamp.pull" 2>/dev/null)" \ -gt $pull_if_older_than ] 2>/dev/null; then pull_image=true fi |