aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2018-11-05 18:28:51 +0100
committerNeels Hofmeyr <neels@hofmeyr.de>2021-04-16 13:38:24 +0000
commit5284315c782d0683d011a68d87535fe93e808be6 (patch)
tree40fb824877fd572012b9ad5f25791a3f10ea1050
parent3865a2065d4d2f0c910d0bcffd68f448a620825a (diff)
add NOBUILD alias to NO_DOCKER_IMAGE_BUILD
-rw-r--r--jenkins-common.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/jenkins-common.sh b/jenkins-common.sh
index 67a467d..89048f7 100644
--- a/jenkins-common.sh
+++ b/jenkins-common.sh
@@ -94,6 +94,10 @@ docker_images_require() {
local depends
local dir
+ if [ -n "$NOBUILD" ]; then
+ export NO_DOCKER_IMAGE_BUILD=1
+ fi
+
for i in $@; do
# Build dependencies first
depends="$(docker_depends "$i")"