diff options
| author | Lars Wirzenius <liw@liw.fi> | 2013-04-21 14:41:20 +0100 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2013-04-21 14:41:20 +0100 |
| commit | 8a21319be805a13995f026273627d4a6cd59bdae (patch) | |
| tree | 73dbb1f8065cb543f7fb00e7c5ec7b1a52860605 /jenkinstool | |
| parent | 2c75c3306a74398f202e57d67bc5915843948452 (diff) | |
| download | jenkinstool-8a21319be805a13995f026273627d4a6cd59bdae.tar.gz | |
Make CI builds use release apt repo as well
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 |