diff options
author | Josip Ponjavic | 2019-11-01 16:33:48 +0100 |
---|---|---|
committer | Josip Ponjavic | 2019-11-01 16:33:48 +0100 |
commit | aa7b39afbe64c40796591da7385d9126fa26160a (patch) | |
tree | 95d1f75983ea08a66fab01afe44635463a86ddb4 /linux.install | |
parent | 37d888a41054c4a4814db70df414eef754c83e8d (diff) | |
download | aur-aa7b39afbe64c40796591da7385d9126fa26160a.tar.gz |
5.3.8-3 (clr 5.3.7-853) Changes for new kmod and mkinitcpio hooks
Diffstat (limited to 'linux.install')
-rw-r--r-- | linux.install | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/linux.install b/linux.install index 4027ea0dde67..d805695cd329 100644 --- a/linux.install +++ b/linux.install @@ -17,10 +17,6 @@ post_install() { } 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 - local v upgrades=( 5.2.2-2 5.2.9-6 @@ -32,8 +28,3 @@ post_upgrade() { fi done } - -post_remove() { - rm -f boot/initramfs-%PKGBASE%.img - rm -f boot/initramfs-%PKGBASE%-fallback.img -} |