PKGBUILDs/core/linux-odroid/linux-odroid.install

# 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."
}