Adding debian version 4.19.249-2.debian/4.19.249-2debian

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

1 files changed, 17 insertions, 0 deletions

diff --git a/debian/linux-image-4.19.0-21-sh7751r.prerm b/debian/linux-image-4.19.0-21-sh7751r.prerm
new file mode 100644
index 000000000..2890915a5
--- /dev/null
+++ b/debian/linux-image-4.19.0-21-sh7751r.prerm
@@ -0,0 +1,17 @@
+#!/bin/sh -e
+
+version=4.19.0-21-sh7751r
+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