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

25 lines
701 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
2012-04-28 04:36:06 +00:00
KERNEL_VERSION=3.1.9-12+
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}
}