diff options
| author | Renato Botelho <renato@netgate.com> | 2016-10-26 15:07:16 -0200 |
|---|---|---|
| committer | Renato Botelho <renato@netgate.com> | 2016-10-26 15:07:16 -0200 |
| commit | 349b210203450a27f91be2cfdd46f4e96e912c2f (patch) | |
| tree | d1789f9af4df54b5d0e6d5cb7ce8327aab005b72 /tools/templates | |
| parent | 892d88163861bd9248acd9686f6a91f2a6b585c4 (diff) | |
| download | pfsense-349b210203450a27f91be2cfdd46f4e96e912c2f.zip pfsense-349b210203450a27f91be2cfdd46f4e96e912c2f.tar.gz | |
ARM kernel is not compressed, deal with that
Diffstat (limited to 'tools/templates')
| -rw-r--r-- | tools/templates/core_pkg/kernel/metadir/+DEINSTALL | 3 |
1 files changed, 2 insertions, 1 deletions
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 |
