#!/bin/sh

if [ ! -d DEBIAN ] || [ ! -d boot ]; then exit 0; fi

vmlinux=`echo boot/vmlinux-*`
vmlinuz=`echo $vmlinux|sed s/vmlinux-/vmlinuz-/`

strip -R .comment -R .note -K sb_mips_init -K _end -K _start $vmlinux
gzip -9c $vmlinux > $vmlinuz
rm $vmlinux