aboutsummaryrefslogtreecommitdiffstats
path: root/ansible/roles/osmocom-jenkins-slave
diff options
context:
space:
mode:
authorHarald Welte <laforge@osmocom.org>2020-11-28 22:30:48 +0100
committerHarald Welte <laforge@osmocom.org>2020-11-28 22:33:02 +0100
commitbf07865cb30c0188d25245a043da091a897235de (patch)
tree773b2ae9ee54733820c73c0bd6955df07910274e /ansible/roles/osmocom-jenkins-slave
parent8df41af01099bd58d09f487e13d54624b05e82e4 (diff)
ansible: Fix OBS directory naming
It's really annoying that OBS uses Debian_8.0 and Debian_9.0 (for 8.x and 9.x) and then Debian_10 for 10.x. Let's work around this by some conditional vars_file trickery, hopefully once and for all. Change-Id: I45c4752774f44332b3f9aaf875f49043c03ec5ca
Diffstat (limited to 'ansible/roles/osmocom-jenkins-slave')
-rw-r--r--ansible/roles/osmocom-jenkins-slave/tasks/ttcn3-slave.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/ansible/roles/osmocom-jenkins-slave/tasks/ttcn3-slave.yml b/ansible/roles/osmocom-jenkins-slave/tasks/ttcn3-slave.yml
index 75969e2..fbfc1ec 100644
--- a/ansible/roles/osmocom-jenkins-slave/tasks/ttcn3-slave.yml
+++ b/ansible/roles/osmocom-jenkins-slave/tasks/ttcn3-slave.yml
@@ -16,11 +16,11 @@
- name: add apt.key
apt_key:
- url: https://download.opensuse.org/repositories/network:/osmocom:/latest/Debian_{{ ansible_distribution_version}}/Release.key
+ url: https://download.opensuse.org/repositories/network:/osmocom:/latest/{{ obs_distro }}/Release.key
- name: add apt repository
apt_repository:
- repo: "deb http://download.opensuse.org/repositories/network:/osmocom:/latest/Debian_{{ ansible_distribution_version }}/ ./"
+ repo: "deb http://download.opensuse.org/repositories/network:/osmocom:/latest/{{ obs_distro }}/ ./"
filename: obs_osmocom
update_cache: yes