PKGBUILDs/core/linux-raspberrypi/linux-raspberrypi.install
2012-10-04 15:43:30 +02:00

26 lines
781 B
Plaintext

# arg 1: the new package version
# arg 2: the old package version
KERNEL_NAME=-raspberrypi
KERNEL_VERSION=3.1.9-16-ARCH+
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}
echo ">>>Edit /boot/cmdline.txt and add sdhci-bcm2708.cycle_delay=1000 "
}