diff options
Diffstat (limited to 'jenkins-common.sh')
| -rw-r--r-- | jenkins-common.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/jenkins-common.sh b/jenkins-common.sh index a703a05..25ae26f 100644 --- a/jenkins-common.sh +++ b/jenkins-common.sh @@ -40,7 +40,10 @@ network_remove() { } fix_perms() { - docker_images_require debian-stretch-build + if ! docker_image_exists "debian-stretch-build"; then + docker_images_require "debian-stretch-build" + fi + echo Fixing permissions docker run --rm \ -v $VOL_BASE_DIR:/data \ |