diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-09-06 17:26:44 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-09-06 17:26:44 +0200 |
| commit | 0219d3ea80b263e16782fc1e87dfb87dab944060 (patch) | |
| tree | b6cce46a526f7c3b5004615ec926481056cf0b91 /bin | |
| parent | 3a0cb92e676b6af181fa89343b6cefea92c0625e (diff) | |
| download | jenkins.debian.net-0219d3ea80b263e16782fc1e87dfb87dab944060.tar.xz | |
chroot-run: install backports as needed
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/chroot-run.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/bin/chroot-run.sh b/bin/chroot-run.sh index 5b837907..1e9acb1a 100755 --- a/bin/chroot-run.sh +++ b/bin/chroot-run.sh @@ -171,7 +171,12 @@ fi if [ -f debian/control ] ; then cat debian/control # install build-depends - mk-build-deps -ir + if [ -z "$BACKPORTS" ] ; then + mk-build-deps -ir + else + # use default mk-build-deps tool but configure it to use backports + mk-build-deps -ir -t "apt-get -o Debug::pkgProblemResolver=yes --no-install-recommends -t $DISTRO-backports" + fi fi EOF fi |