PKGBUILDs/core/linux-raspberrypi/linux-raspberrypi.install

25 lines
706 B
Text
Raw Normal View History

2012-03-17 02:49:52 +00:00
# arg 1: the new package version
# arg 2: the old package version
KERNEL_NAME=-raspberrypi
2014-05-10 10:35:37 +00:00
KERNEL_VERSION=3.12.19-1-ARCH
2012-03-17 02:49:52 +00:00
post_install () {
# updating module dependencies
echo ">>> Updating module dependencies. Please wait ..."
depmod ${KERNEL_VERSION}
}
post_upgrade() {
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
fi
# updating module dependencies
echo ">>> Updating module dependencies. Please wait ..."
depmod ${KERNEL_VERSION}
}