Commit 12c4b091 authored by Holger Levsen's avatar Holger Levsen
Browse files

reproducible Debian: use bpo kernels on pb5+15 to systematically vary the kernel on amd64 again 



Signed-off-by: default avatarHolger Levsen <holger@layer-acht.org>
parent 3fb7f9bd

update_jdn.sh

+1 −1
Original line number Diff line number Diff line
@@ -472,7 +472,7 @@ if [ -f /etc/debian_version ] ; then 
		# - we use bpo kernels on pb-build5+15 (and the default i386 kernel on pb-build2+12-i386)

		# - we use the default amd64 kernel on pb-build1+11 (and the default amd64 kernel on pb-build6+16-i386)

		if [ "$HOSTNAME" = "profitbricks-build5-amd64" ] || [ "$HOSTNAME" = "profitbricks-build15-amd64" ] ; then

			$UP2DATE || sudo apt-get install linux-image-amd64

			$UP2DATE || sudo apt-get install -t stretch-backports linux-image-amd64

		elif [ "$HOSTNAME" = "profitbricks-build6-i386" ] || [ "$HOSTNAME" = "profitbricks-build16-i386" ] ; then

			$UP2DATE || sudo apt-get install linux-image-amd64

		fi