summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPau Espin Pedrol <pespin@sysmocom.de>2020-03-03 12:28:26 +0100
committerPau Espin Pedrol <pespin@sysmocom.de>2020-03-03 12:34:56 +0100
commitb3819d2c6a3d48ae7c1a05fe7fb2f89ca4243ede (patch)
tree745c69e06ac38a9747e56faef071826d445bd1f9
parent9184c87ad86f9bf4c6fa73840b29f40407116b56 (diff)
contrib/jenkins: Avoid docker setup if OSMO_CI_NO_DOCKER=1
Some jenkins slaves may not need docker (or even have it installed). Change-Id: Ibfc4a81d3d621503b40204b7452ead56c726af97
-rwxr-xr-xcontrib/jenkins.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 275fc69..3ab942a 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -10,6 +10,6 @@ git fetch && git checkout -f -B master origin/master
git rev-parse HEAD
git status
-if [ `uname` = "Linux" ]; then
+if [ `uname` = "Linux" ] && [ "x${OSMO_CI_NO_DOCKER}" != "x1" ]; then
scripts/osmo-ci-docker-rebuild.sh
fi