#!/bin/sh
SMLNJ_HOME=__SMLNJ_HOME__ __SMLNJ_HOME__/bin/`basename $0` $*