diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-03-03 12:28:26 +0100 |
---|---|---|
committer | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-03-03 12:34:56 +0100 |
commit | b3819d2c6a3d48ae7c1a05fe7fb2f89ca4243ede (patch) | |
tree | 745c69e06ac38a9747e56faef071826d445bd1f9 | |
parent | 9184c87ad86f9bf4c6fa73840b29f40407116b56 (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-x | contrib/jenkins.sh | 2 |
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 |