summaryrefslogtreecommitdiffstats
path: root/debian/linux-image-6.1.0-18progress7u1-rt-armmp.prerm
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xdebian/linux-image-6.1.0-18progress7u1-rt-armmp.prerm17
1 files changed, 0 insertions, 17 deletions
diff --git a/debian/linux-image-6.1.0-18progress7u1-rt-armmp.prerm b/debian/linux-image-6.1.0-18progress7u1-rt-armmp.prerm
deleted file mode 100755
index 3392b4a94..000000000
--- a/debian/linux-image-6.1.0-18progress7u1-rt-armmp.prerm
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/bin/sh -e
-
-version=6.1.0-18progress7u1-rt-armmp
-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