diff options
author | Eric Woudstra | 2022-07-17 11:40:23 +0200 |
---|---|---|
committer | Eric Woudstra | 2022-07-17 11:40:23 +0200 |
commit | 66d347108ba77c10251dd1e9d7e16d5c4deb5197 (patch) | |
tree | 5a9ea14a8a9148d17149cc86bd3931159bb67c73 /linux-bpir64-git.install | |
download | aur-66d347108ba77c10251dd1e9d7e16d5c4deb5197.tar.gz |
Aarch64 kernel for BananaPi R64.
Diffstat (limited to 'linux-bpir64-git.install')
-rw-r--r-- | linux-bpir64-git.install | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/linux-bpir64-git.install b/linux-bpir64-git.install new file mode 100644 index 000000000000..596750440681 --- /dev/null +++ b/linux-bpir64-git.install @@ -0,0 +1,10 @@ +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() { + rm -f boot/initramfs-linux-bpir64-git.img + rm -f boot/initramfs-linux-bpir64-git-fallback.img +} |