Merging debian version 4.19.282-1.

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

1 files changed, 0 insertions, 18 deletions

diff --git a/debian/linux-headers-4.19.0-23progress5u1-rt-armmp.postinst b/debian/linux-headers-4.19.0-23progress5u1-rt-armmp.postinst
deleted file mode 100644
index 8182f1a1b..000000000
--- a/debian/linux-headers-4.19.0-23progress5u1-rt-armmp.postinst
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/usr/bin/perl
-# Author: Michael Gilbert <michael.s.gilbert@gmail.com>
-# Origin: Stripped down version of the linux-headers postinst from Ubuntu's
-#         2.6.32-14-generic kernel, which was itself derived from a
-#         Debian linux-image postinst script.
-
-$|=1;
-my $version  = "4.19.0-23progress5u1-rt-armmp";
-
-if (-d "/etc/kernel/header_postinst.d") {
-  system ("run-parts --report --exit-on-error --arg=$version " .
-          "/etc/kernel/header_postinst.d") &&
-            die "Failed to process /etc/kernel/header_postinst.d";
-}
-
-exit 0;
-
-__END__