diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2018-10-31 13:34:54 +0100 |
---|---|---|
committer | Pau Espin Pedrol <pespin@sysmocom.de> | 2018-11-01 12:42:54 +0100 |
commit | 80d2b7b8dd43949fdd25596254de04d8cb1cd25b (patch) | |
tree | 3b454ae82c00159b351c4c9fb1ea9b047397200c /include | |
parent | a82aaef5070e6f5988656cb0767e62d8ea6a7269 (diff) |
contrib/jenkins.sh: Update to current osmocom infra
Otherwise builds end failing in osmocom jenkins/gerrit.
Change-Id: I955b99ce27df143f5d022619dd14e32b763e6c14
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions