diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/check_dockerfiles.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/check_dockerfiles.sh b/scripts/check_dockerfiles.sh index 95c18cb..88cb7cc 100755 --- a/scripts/check_dockerfiles.sh +++ b/scripts/check_dockerfiles.sh @@ -115,7 +115,7 @@ if git diff --quiet "${prev_commit}" -- docker/venv.Dockerfile Pipfile*; then if ! can_pull venv docker/venv.Dockerfile Pipfile*; then # Venv image can't be pulled so it needs to be built. # Therefore, the base image is needed too. - can_pull base docker/base.Dockerfile + can_pull base docker/base.Dockerfile || true fi else echo \ @@ -123,5 +123,5 @@ else "the venv image will be built." # Though base image hasn't changed, it's still needed to build the venv. - can_pull base docker/base.Dockerfile + can_pull base docker/base.Dockerfile || true fi |