Regenerating debian files.

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

1 files changed, 17 insertions, 0 deletions

diff --git a/debian/linux-image-5.10.0-30progress6u1-rt-686-pae.prerm b/debian/linux-image-5.10.0-30progress6u1-rt-686-pae.prerm
new file mode 100755
index 000000000..3e2ed3501
--- /dev/null
+++ b/debian/linux-image-5.10.0-30progress6u1-rt-686-pae.prerm
@@ -0,0 +1,17 @@
+#!/bin/sh -e
+
+version=5.10.0-30progress6u1-rt-686-pae
+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