diff options
Diffstat (limited to 'arch/arm/boot/install.sh')
| -rwxr-xr-x[-rw-r--r--] | arch/arm/boot/install.sh | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/arch/arm/boot/install.sh b/arch/arm/boot/install.sh index 06ea7d42ce8e..34e2c6e31fd1 100644..100755 --- a/arch/arm/boot/install.sh +++ b/arch/arm/boot/install.sh @@ -1,7 +1,5 @@ #!/bin/sh # -# arch/arm/boot/install.sh -# # This file is subject to the terms and conditions of the GNU General Public # License. See the file "COPYING" in the main directory of this archive # for more details. @@ -18,11 +16,8 @@ # $2 - kernel image file # $3 - kernel map file # $4 - default install path (blank if root directory) -# -# User may have a custom install script -if [ -x ~/bin/${INSTALLKERNEL} ]; then exec ~/bin/${INSTALLKERNEL} "$@"; fi -if [ -x /sbin/${INSTALLKERNEL} ]; then exec /sbin/${INSTALLKERNEL} "$@"; fi +set -e if [ "$(basename $2)" = "zImage" ]; then # Compressed install |