Adding debian version 6.1.76-1.debian/6.1.76-1debian

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 17 insertions, 0 deletions

diff --git a/debian/linux-image-6.1.0-18-marvell.prerm b/debian/linux-image-6.1.0-18-marvell.prerm
new file mode 100755
index 000000000..236ccad78
--- /dev/null
+++ b/debian/linux-image-6.1.0-18-marvell.prerm
@@ -0,0 +1,17 @@
+#!/bin/sh -e
+
+version=6.1.0-18-marvell
+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