#!/bin/sh

# see Chapter 8 of Debian Linux Kernel Handbook

set -e

abi="$1"
VMLINUZ=/boot/vmlinuz-$abi

if file $VMLINUZ | grep gzip 2>&1 >/dev/null; then
	mv $VMLINUZ $VMLINUZ.gz
	gunzip $VMLINUZ.gz
fi
