mirror of https://gerrit.osmocom.org/osmo-ci
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
This commit is contained in:
parent
9184c87ad8
commit
b3819d2c6a
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue