#!/bin/sh
set -e

[ -f debian/APPLIED_kerntypes ] || exit 0

rm -f debian/APPLIED_kerntypes
rm -f debian/image.d/kerntypes
rmdir debian/image.d || true
