From 349b210203450a27f91be2cfdd46f4e96e912c2f Mon Sep 17 00:00:00 2001 From: Renato Botelho Date: Wed, 26 Oct 2016 15:07:16 -0200 Subject: ARM kernel is not compressed, deal with that --- tools/templates/core_pkg/kernel/metadir/+DEINSTALL | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'tools/templates') diff --git a/tools/templates/core_pkg/kernel/metadir/+DEINSTALL b/tools/templates/core_pkg/kernel/metadir/+DEINSTALL index fa2cb42..aab42e4 100644 --- a/tools/templates/core_pkg/kernel/metadir/+DEINSTALL +++ b/tools/templates/core_pkg/kernel/metadir/+DEINSTALL @@ -7,7 +7,8 @@ fi echo "===> Keeping a copy of current kernel in /boot/kernel.old" # Check if there is a current kernel to be moved -if [ ! -f /boot/kernel/kernel.gz ]; then +if [ ! -f /boot/kernel/kernel.gz ] \ + && [ ! -f /boot/kernel/kernel ]; then echo "ERROR: Current kernel not found" exit 1 fi -- cgit v1.1