mirror of https://gerrit.osmocom.org/osmo-ci
Make osmo-gsm-manuals.git available as ~/osmo-gsm-manuals, so it can be used by osmo-trx and osmo-bts (the only two projects building manuals, which are not running in docker as of writing) instead of cloning the repository in their contrib/jenkins.sh. A similar change to clone osmo-gsm-manuals in the debian-stretch-jenkins image used by all other jobs that build manuals, is done in docker-playground 7e4c8c6f1f798b9b8e57af97131ce3759528e0de. osmo-ci's contrib/jenkins.sh is called by the update-osmo-ci-on-slaves job. Related: OS#4912 Change-Id: I742fd929e39ca32d6034a30af75b6c8e5b47b233 |
||
---|---|---|
.. | ||
jenkins.sh |