From 57f60d3404fad59c0ae759c8478576dcfcf20a8e Mon Sep 17 00:00:00 2001 From: Mauricio Faria de Oliveira Date: Tue, 19 Aug 2014 09:47:07 -0400 Subject: [PATCH] UBUNTU: [debian] Switch kernel to vmlinuz (from vmlinux) on ppc64el Signed-off-by: Mauricio Faria de Oliveira --- debian.master/rules.d/ppc64el.mk | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/debian.master/rules.d/ppc64el.mk b/debian.master/rules.d/ppc64el.mk index 6952348..c09aa04 100644 --- a/debian.master/rules.d/ppc64el.mk +++ b/debian.master/rules.d/ppc64el.mk @@ -3,9 +3,9 @@ build_arch = powerpc header_arch = $(build_arch) defconfig = pseries_le_defconfig flavours = generic -build_image = vmlinux.strip -kernel_file = arch/powerpc/boot/vmlinux.strip -install_file = vmlinux +build_image = zImage +kernel_file = arch/$(build_arch)/boot/zImage +install_file = vmlinuz no_dumpfile = true vdso = vdso_install loader = grub -- 2.1.0.rc1