#! /bin/sh #Make entire system using Standard ML of New Jersey #Pathnames will have to be modified for your site ISABELLEBIN=/homes/`whoami`/bin ISABELLECOMP=sml export ISABELLEBIN ISABELLECOMP nohup make-all $*