From 2c8702a61d86be4253077d949943e7bf6dbb9eab Mon Sep 17 00:00:00 2001
From: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
Date: Tue, 10 Jun 2014 21:40:59 +0200
Subject: provide support for different kernel images for each Debian chroot

---
 home/.pbuilderrc | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/home/.pbuilderrc b/home/.pbuilderrc
index 7074627..205eb5d 100644
--- a/home/.pbuilderrc
+++ b/home/.pbuilderrc
@@ -31,7 +31,12 @@ UML_DISTRIBUTION="$CODENAME"
 
 # qemubuilder options
 BASEPATH="$BASEDIRECTORY/base-$DIST-$CODENAME-$ARCH.qemu"
-KERNEL_IMAGE=/srv/pbuilder/qemu-kernels/$ARCH/vmlinuz
+if [ -e "/srv/pbuilder/qemu-kernels/$ARCH/vmlinuz.$CODENAME" ]; then
+	KERNEL_IMAGE=/srv/pbuilder/qemu-kernels/$ARCH/vmlinuz.$CODENAME
+else
+	KERNEL_IMAGE=/srv/pbuilder/qemu-kernels/$ARCH/vmlinuz
+fi
+
 ARCH_DISKDEVICE=sd
 if [ "x$ARCH" = "xarmel" ]; then
 	MEMORY_MEGS=256
-- 
cgit v1.2.3