12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061 |
- #!/bin/sh
- verify () {
- if [ ! -f "$1" ]; then
- echo "" 1>&2
- echo " *** Missing file: $1" 1>&2
- echo ' *** You need to run "make" before "make install".' 1>&2
- echo "" 1>&2
- exit 1
- fi
- }
- verify "$2"
- verify "$3"
- if [ -x ~/bin/${INSTALLKERNEL} ]; then exec ~/bin/${INSTALLKERNEL} "$@"; fi
- if [ -x /sbin/${INSTALLKERNEL} ]; then exec /sbin/${INSTALLKERNEL} "$@"; fi
- if [ "$(basename $2)" = "Image.gz" ]; then
- echo "Installing compressed kernel"
- base=vmlinuz
- else
- echo "Installing normal kernel"
- base=vmlinux
- fi
- if [ -f $4/$base-$1 ]; then
- mv $4/$base-$1 $4/$base-$1.old
- fi
- cat $2 > $4/$base-$1
- if [ -f $4/System.map-$1 ]; then
- mv $4/System.map-$1 $4/System.map-$1.old
- fi
- cp $3 $4/System.map-$1
|