[hcoop/zz_old/debian/smlnj.git] / debian / wrapper.in

#!/bin/sh

export SMLNJ_HOME=${SMLNJ_HOME:-@SMLNJ_HOME@}

exec $SMLNJ_HOME/bin/@CMD@ $@
Commit	Line	Data
4dd335d4 JM	1	#!/bin/sh
	2
	3	export SMLNJ_HOME=${SMLNJ_HOME:-@SMLNJ_HOME@}
	4
	5	exec $SMLNJ_HOME/bin/@CMD@ $@