#!/bin/bash

set -e

rm -f /boot/vmlinux-${1} /boot/vmlinux /boot/initrd.img-${1} /boot/initrd.img
