diff options
author | Neels Hofmeyr <neels@hofmeyr.de> | 2018-11-05 18:28:51 +0100 |
---|---|---|
committer | Neels Hofmeyr <nhofmeyr@sysmocom.de> | 2022-07-19 11:38:51 +0200 |
commit | 91f1348f674439f9f997e67e163f6110249a4122 (patch) | |
tree | 493efa2768841fc476702c1da18c3225dd20ec49 | |
parent | 50344e41438d9e0cfc32609e51eb14d6cf160c21 (diff) |
add NOBUILD alias to NO_DOCKER_IMAGE_BUILD
Change-Id: I008bd103ea14fc1dfbc7e718bce3eff59b6a6a30
-rw-r--r-- | jenkins-common.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/jenkins-common.sh b/jenkins-common.sh index b393b05..ba15551 100644 --- a/jenkins-common.sh +++ b/jenkins-common.sh @@ -135,6 +135,10 @@ docker_images_require() { local depends local dir + if [ -n "$NOBUILD" ]; then + export NO_DOCKER_IMAGE_BUILD=1 + fi + for i in $@; do # Don't build images that are available on the private # registry, if using it. Instead, pull the images to make sure |