Regenerating debian files.

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

1 files changed, 25 insertions, 0 deletions

diff --git a/debian/linux-image-6.7.9-progress7.99-rt-armmp.postinst b/debian/linux-image-6.7.9-progress7.99-rt-armmp.postinst
new file mode 100644
index 0000000000..6c721c3a06
--- /dev/null
+++ b/debian/linux-image-6.7.9-progress7.99-rt-armmp.postinst
@@ -0,0 +1,25 @@
+#!/bin/sh -e
+
+version=6.7.9-progress7.99-rt-armmp
+image_path=/boot/vmlinuz-$version
+
+if [ "$1" != configure ]; then
+    exit 0
+fi
+
+depmod $version
+
+if [ -f /lib/modules/$version/.fresh-install ]; then
+    change=install
+else
+    change=upgrade
+fi
+linux-update-symlinks $change $version $image_path
+rm -f /lib/modules/$version/.fresh-install
+
+if [ -d /etc/kernel/postinst.d ]; then
+    DEB_MAINT_PARAMS="$*" run-parts --report --exit-on-error --arg=$version \
+	      --arg=$image_path /etc/kernel/postinst.d
+fi
+
+exit 0