diff options
author | Michał Masłowski <mtjm@mtjm.eu> | 2012-03-02 23:21:49 +0100 |
---|---|---|
committer | Michał Masłowski <mtjm@mtjm.eu> | 2012-03-02 23:21:49 +0100 |
commit | 6be2fb84fedb0602286ac30ce807d2894a189a9b (patch) | |
tree | 1c64473f7471499ff77ff7e1e06adfc86e79532c /libre/linux-libre/linux-libre.install | |
parent | ec25c0f30f1be10f66730306625f95a67b8ad4b4 (diff) |
mips64el kernel changes (untested).
Have builtin USB storage support to enable booting the system from USB
disks without initramfs (which would be very slow to load with PMON).
Don't require mkinitcpio (issue #230).
Install also an uncompressed kernel, oprofile needs it.
Diffstat (limited to 'libre/linux-libre/linux-libre.install')
-rw-r--r-- | libre/linux-libre/linux-libre.install | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/libre/linux-libre/linux-libre.install b/libre/linux-libre/linux-libre.install index f05e87b9f..62f5d13bc 100644 --- a/libre/linux-libre/linux-libre.install +++ b/libre/linux-libre/linux-libre.install @@ -8,8 +8,10 @@ post_install () { # updating module dependencies echo ">>> Updating module dependencies. Please wait ..." depmod ${KERNEL_VERSION} - echo ">>> Generating initial ramdisk, using mkinitcpio. Please wait..." - mkinitcpio -p linux-libre${KERNEL_NAME} + if [ command -v mkinitcpio 2>&1 > /dev/null ]; then + echo ">>> Generating initial ramdisk, using mkinitcpio. Please wait..." + mkinitcpio -p linux-libre${KERNEL_NAME} + fi # compat symlinks for the official kernels only if [ -z "${KERNEL_NAME}" -o "${KERNEL_NAME}" = "-lts" ]; then @@ -50,8 +52,10 @@ post_upgrade() { # updating module dependencies echo ">>> Updating module dependencies. Please wait ..." depmod ${KERNEL_VERSION} - echo ">>> Generating initial ramdisk, using mkinitcpio. Please wait..." - mkinitcpio -p linux-libre${KERNEL_NAME} + if [ command -v mkinitcpio 2>&1 > /dev/null ]; then + echo ">>> Generating initial ramdisk, using mkinitcpio. Please wait..." + mkinitcpio -p linux-libre${KERNEL_NAME} + fi } post_remove() { |