Change in osmo-ci[master]: contrib/jenkins: Avoid docker setup if OSMO_CI_NO_DOCKER=1

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

pespin gerrit-no-reply at lists.osmocom.org
Tue Mar 3 11:28:52 UTC 2020


pespin has uploaded this change for review. ( https://gerrit.osmocom.org/c/osmo-ci/+/17329 )


Change subject: contrib/jenkins: Avoid docker setup if OSMO_CI_NO_DOCKER=1
......................................................................

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
---
M contrib/jenkins.sh
1 file changed, 1 insertion(+), 1 deletion(-)



  git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/29/17329/1

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 275fc69..e8716c4 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -10,6 +10,6 @@
 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

-- 
To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/17329
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: Ibfc4a81d3d621503b40204b7452ead56c726af97
Gerrit-Change-Number: 17329
Gerrit-PatchSet: 1
Gerrit-Owner: pespin <pespin at sysmocom.de>
Gerrit-MessageType: newchange
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20200303/d8a3fa7f/attachment.htm>


More information about the gerrit-log mailing list