Harald Welte has submitted this change and it was merged.
Change subject: jenkins.sh: add hostkey for osmocom.org:48
..
jenkins.sh: add hostkey for osmocom.org:48
Otherwise it will depend on a setting this up in a seperate
Patch Set 1: Code-Review+2
--
To view, visit https://gerrit.osmocom.org/7725
To unsubscribe, visit https://gerrit.osmocom.org/settings
Gerrit-MessageType: comment
Gerrit-Change-Id: Iea1f5810bc7d4370724fdd7eb875c9a27b3d82af
Gerrit-PatchSet: 1
Gerrit-Project: osmo-gsm-manuals
Gerrit-Branch:
Patch Set 1:
required to move the build job to a new host.
--
To view, visit https://gerrit.osmocom.org/7725
To unsubscribe, visit https://gerrit.osmocom.org/settings
Gerrit-MessageType: comment
Gerrit-Change-Id: Iea1f5810bc7d4370724fdd7eb875c9a27b3d82af
Gerrit-PatchSet: 1
Gerrit-Project:
Review at https://gerrit.osmocom.org/7725
jenkins.sh: add hostkey for osmocom.org:48
Otherwise it will depend on a setting this up in a seperate step.
This way it's more decoupled from the build host.
Change-Id: Iea1f5810bc7d4370724fdd7eb875c9a27b3d82af
---
M contrib/jenkins.sh
1 file
