summaryrefslogtreecommitdiff
path: root/kernels/linux-libre-rt/linux-libre-rt.install
diff options
context:
space:
mode:
authorroot <root@rshg054.dnsready.net>2012-06-08 00:01:46 +0000
committerroot <root@rshg054.dnsready.net>2012-06-08 00:01:46 +0000
commit7d11e9346ebd0f9c378952caee0c82d6ca815f4e (patch)
tree37cbc273cef015a41013f52ed6a90fb16eca34f4 /kernels/linux-libre-rt/linux-libre-rt.install
parent334c2a7916a80d08b1c216cfbf02135e64891632 (diff)
Fri Jun 8 00:01:46 UTC 2012
Diffstat (limited to 'kernels/linux-libre-rt/linux-libre-rt.install')
-rw-r--r--kernels/linux-libre-rt/linux-libre-rt.install12
1 files changed, 4 insertions, 8 deletions
diff --git a/kernels/linux-libre-rt/linux-libre-rt.install b/kernels/linux-libre-rt/linux-libre-rt.install
index 5f73fb8fb..407bf32c1 100644
--- a/kernels/linux-libre-rt/linux-libre-rt.install
+++ b/kernels/linux-libre-rt/linux-libre-rt.install
@@ -2,7 +2,7 @@
# arg 2: the old package version
KERNEL_NAME=-rt
-KERNEL_VERSION=3.2.16-1-rt27-LIBRE-RT
+KERNEL_VERSION=3.2.19-1-rt30-LIBRE-RT
post_install () {
# updating module dependencies
@@ -28,7 +28,7 @@ post_install () {
post_upgrade() {
pacman -Q grub &>/dev/null
hasgrub=$?
- pacman -Q grub2 &>/dev/null
+ pacman -Q grub2-common &>/dev/null
hasgrub2=$?
pacman -Q lilo &>/dev/null
haslilo=$?
@@ -44,12 +44,8 @@ post_upgrade() {
echo ">>>"
fi
- if grep "^[^#]*[[:space:]]/boot" etc/fstab 2>&1 >/dev/null; then
- if ! grep "[[:space:]]/boot" etc/mtab 2>&1 >/dev/null; then
- echo "WARNING: /boot appears to be a seperate partition but is not mounted"
- echo " This is most likely not what you want. Please mount your /boot"
- echo " partition and reinstall the kernel unless you are sure this is OK"
- fi
+ 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
# updating module dependencies