#!/bin/sh -e

[ -n "$spt_dir" ] || spt_dir=/usr/share/spt3
. $spt_dir/init

hsh --clean -- "$work_dir" ||
	 Fatal "Unable to cleanup working directory"
rm -Rf -- "$work_dir"/tmp "$work_dir"/out
