swh:1:snp:baebc2109e4a2ec22a1129a3859647e191d04df4
Tip revision: c1fc32303b35cbc03b5d8d945be283c5619b6eab authored by Ben Hutchings on 03 December 2017, 19:41:55 UTC
Synthetic revision for Debian source package linux version 4.9.65-3
Synthetic revision for Debian source package linux version 4.9.65-3
Tip revision: c1fc323
linux-image-4.9.0-4-arm64.prerm
#!/bin/sh -e
version=4.9.0-4-arm64
image_path=/boot/vmlinuz-$version
if [ "$1" != remove ]; then
exit 0
fi
linux-check-removal $version
if [ -d /etc/kernel/prerm.d ]; then
DEB_MAINT_PARAMS="$*" run-parts --report --exit-on-error --arg=$version \
--arg=$image_path /etc/kernel/prerm.d
fi
exit 0
