diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-10-03 20:05:30 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-10-03 20:05:30 +0200 |
commit | 8f4be4f58ee77942efc5677e88270303ffb3cb31 (patch) | |
tree | 9aba885c8b86c1495d63f1b6d04bd8571737b970 | |
parent | f149fbdbcad61142a9851f652b5d4f1793b1627c (diff) | |
download | jenkins.debian.net-8f4be4f58ee77942efc5677e88270303ffb3cb31.tar.xz |
reproducible: use bpo kernel on pb-build2-amd64
-rwxr-xr-x | update_jdn.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index fb61d96d..9d534589 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -240,6 +240,10 @@ if [ -f /etc/debian_version ] ; then sudo apt-get install -t jessie-backports \ pbuilder # botch + # to vary kernels + if [ "$HOSTNAME" = "profitbricks-build2-amd64" ] ; then + sudo apt-get install -t jessie-backports linux-image-amd64 + fi explain "packages installed." else explain "no new packages to be installed." |