1 files changed, 0 insertions, 17 deletions
diff --git a/linux.install b/linux.install
deleted file mode 100644
index 13c5f8555e58..000000000000
--- a/linux.install
+++ /dev/null
@@ -1,17 +0,0 @@
-# -*- sh -*-
-# arg 1:  the new package version
-# arg 2:  the old package version
-
-KERNEL_NAME=-pf
-
-post_upgrade() {
-    if findmnt --fstab -uno SOURCE /boot &>/dev/null && ! mountpoint -q /boot; then
-	echo "WARNING: /boot appears to be a separate partition but is not mounted."
-    fi
-}
-
-post_remove() {
-    # also remove the compat symlinks
-    rm -f boot/{initramfs-linux,kernel26}${KERNEL_NAME}.img
-    rm -f boot/{initramfs-linux,kernel26}${KERNEL_NAME}-fallback.img
-}