[hcoop/zz_old/debian/smlnj.git] / debian / smlnj-runtime.postrm

#!/bin/sh

set -e

if [ "$1" = "purge" ] ; then
    rm -f /usr/lib/smlnj/lib/pathconfig
fi

#DEBHELPER#
Commit	Line	Data
4dd335d4 JM	1	#!/bin/sh
	2
	3	set -e
	4
	5	if [ "$1" = "purge" ] ; then
	6	rm -f /usr/lib/smlnj/lib/pathconfig
	7	fi
	8
	9	#DEBHELPER#