diff options
| author | jc_gargma <jc_gargma@iserlohn-fortress.net> | 2017-10-08 18:25:53 -0700 |
|---|---|---|
| committer | jc_gargma <jc_gargma@iserlohn-fortress.net> | 2017-10-08 18:25:53 -0700 |
| commit | 78b5500314b1d8ad7e4e652fb83df17b8b6dd0d4 (patch) | |
| tree | ac730743cf113fdf1d3b744077c7434d3825fd64 /linux.install | |
| parent | Using upstream sources since blobs were removed (diff) | |
| download | linux-libre-unofficial_grsec-78b5500314b1d8ad7e4e652fb83df17b8b6dd0d4.tar.xz | |
Sync PKGBUILD with upstream where reasonable
Diffstat (limited to 'linux.install')
| -rw-r--r-- | linux.install | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/linux.install b/linux.install index d13105b..40aeaea 100644 --- a/linux.install +++ b/linux.install @@ -2,16 +2,12 @@ post_install () { # updating module dependencies echo ">>> Updating module dependencies. Please wait ..." depmod %KERNVER% - if [ "$(uname -m)" = "armv7l" ]; then - echo ">>> WARNING: Using this kernel requires an updated U-Boot!" - fi } post_upgrade() { # updating module dependencies echo ">>> Updating module dependencies. Please wait ..." depmod %KERNVER% - if [ "$(uname -m)" = "x86_64" ] || [ "$(uname -m)" = "i686" ]; then if findmnt --fstab -uno SOURCE /boot &>/dev/null && ! mountpoint -q /boot; then echo "WARNING: /boot appears to be a separate partition but is not mounted." fi @@ -21,7 +17,6 @@ post_upgrade() { echo ">>> In order to use your keyboard during early init, you MUST" echo ">>> include the 'keyboard' hook in your mkinitcpio.conf." fi - fi } post_remove() { |