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

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

1 files changed, 25 insertions, 0 deletions

diff --git a/debian/linux-image-6.1.0-18-rt-686-pae-unsigned.postinst b/debian/linux-image-6.1.0-18-rt-686-pae-unsigned.postinst
new file mode 100755
index 000000000..0c04603f4
--- /dev/null
+++ b/debian/linux-image-6.1.0-18-rt-686-pae-unsigned.postinst
@@ -0,0 +1,25 @@
+#!/bin/sh -e
+
+version=6.1.0-18-rt-686-pae
+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