diff options
Diffstat (limited to 'libre/linux-libre/linux-libre.install')
| -rw-r--r-- | libre/linux-libre/linux-libre.install | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/libre/linux-libre/linux-libre.install b/libre/linux-libre/linux-libre.install index d75b48c8f..badaceefd 100644 --- a/libre/linux-libre/linux-libre.install +++ b/libre/linux-libre/linux-libre.install @@ -2,7 +2,7 @@ # arg 2: the old package version KERNEL_NAME= -KERNEL_VERSION=3.1.5-1-LIBRE +KERNEL_VERSION=3.1.6-1-LIBRE post_install () { # updating module dependencies @@ -43,11 +43,9 @@ 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 " You probably just broke your system. Congratulations." - 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." + echo " You probably just broke your system. Congratulations." fi # updating module dependencies |