diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2014-06-10 21:40:59 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2014-06-10 21:41:17 +0200 |
| commit | 2c8702a61d86be4253077d949943e7bf6dbb9eab (patch) | |
| tree | 5d682835abd942e358012dd79a6f12cef1546687 /home | |
| parent | c1bd1610528fbcaa7af7832fa19bc1371ce2ad46 (diff) | |
| download | buildscripts-2c8702a61d86be4253077d949943e7bf6dbb9eab.tar.gz buildscripts-2c8702a61d86be4253077d949943e7bf6dbb9eab.tar.bz2 buildscripts-2c8702a61d86be4253077d949943e7bf6dbb9eab.zip | |
provide support for different kernel images for each Debian chroot
Diffstat (limited to 'home')
| -rw-r--r-- | home/.pbuilderrc | 7 |
1 files changed, 6 insertions, 1 deletions
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 |