Package: flash-kernel Version: 3.50 Severity: normal Tags: patch diff --git a/functions b/functions index d86cf7d..d07b967 100644 --- a/functions +++ b/functions @@ -629,6 +629,10 @@ if [ -L "$kfile" ]; then fi
if ! check_supported "$machine"; then + # do nothing if an unsupported platform is booted from EFI + if [ -d /sys/firmware/efi ]; then + echo "Unsupported platform on EFI system." + exit 0 error "Unsupported platform." fi Dear Maintainer, * What led up to the situation? Running: $ apt-get --reinstall install linux-image-4.2.0-1-arm64; echo $? Led to: Processing triggers for flash-kernel (3.50) ... Unsupported platform. dpkg: error processing package flash-kernel (--configure): subprocess installed post-installation script returned error exit status 1 Errors were encountered while processing: flash-kernel E: Sub-process /usr/bin/dpkg returned an error code (1) 100 * What exactly did you do (or not do) that was effective (or ineffective)? See above. * What was the outcome of this action? See above. * What outcome did you expect instead? Non-fatal warning. -- System Information: Debian Release: stretch/sid APT prefers testing APT policy: (500, 'testing') Architecture: arm64 (aarch64) Kernel: Linux 4.2.0-1-arm64 (SMP w/1 CPU core) Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968) Shell: /bin/sh linked to /bin/dash Init: unable to detect Versions of packages flash-kernel depends on: ii debconf [debconf-2.0] 1.5.58 ii devio 1.2-1 ii initramfs-tools 0.120 ii linux-base 4.0 ii ucf 3.0031 Versions of packages flash-kernel recommends: ii u-boot-tools 2015.10+dfsg1-2 flash-kernel suggests no packages. -- debconf information: flash-kernel/linux_cmdline: quiet