PKGBUILDs/core/linux-raspberrypi/linux-raspberrypi.install
2012-04-28 00:36:06 -04:00

24 lines
701 B
Text

# arg 1: the new package version
# arg 2: the old package version
KERNEL_NAME=-raspberrypi
KERNEL_VERSION=3.1.9-12+
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}
}