diff options
Diffstat (limited to 'jenkinstool')
| -rwxr-xr-x | jenkinstool | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/jenkinstool b/jenkinstool index 51c47ac..bf45b6c 100755 --- a/jenkinstool +++ b/jenkinstool @@ -361,9 +361,7 @@ setup_pbuilder() --distribution "$dist" \ --mirror "%(global.debian-mirror)s" \ --othermirror \ - "deb %(global.artifacts-url)s/debian $dist main" \ - --othermirror \ - "deb %(global.artifacts-url)s/debian ${dist}-ci main" + "deb %(global.artifacts-url)s/debian $dist main | deb %(global.artifacts-url)s/debian ${dist}-ci main" fi } @@ -439,6 +437,7 @@ setup_pbuilder "$pbuilder_release_tgz" yes jc.add_ssh_command(''' cat << EOF | sudo tee /etc/apt/sources.list.d/jenkinstool.list +deb %(global.artifacts-url)s/debian %(host.debian-dist)s main deb %(global.artifacts-url)s/debian %(host.debian-dist)s-ci main EOF |