PKGBUILDs/core/linux-odroid/linux-odroid.install
2018-09-04 23:30:03 +00:00

31 lines
1 KiB
Text

# arg 1: the new package version
# arg 2: the old package versio
KERNEL_VERSION=3.8.13.30-4-ARCH
post_install () {
# updating module dependencies
echo ">>> Updating module dependencies. Please wait ..."
depmod ${KERNEL_VERSION}
sync
# echo "NOTE: You will probably need to copy /boot/uImage to the first partition"
# echo " of your SD card."
}
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 separate partition but is not mounted"
echo " This is most likely not what you want. Please mount your /boot"
echo " partition and reinstall the kernel unless you are sure this is OK"
fi
fi
# updating module dependencies
echo ">>> Updating module dependencies. Please wait ..."
depmod ${KERNEL_VERSION}
sync
# echo "NOTE: You will probably need to copy /boot/uImage to the first partition"
# echo " of your SD card."
}