lib/scripts/run-smlnj
changeset 3007 e5efa177ee0c
parent 2936 bd33e7aae062
child 3010 4be22c300966
equal deleted inserted replaced
3006:8a1eb4531fbb 3007:e5efa177ee0c
     1 #!/bin/bash -norc
     1 #!/bin/bash
     2 #
     2 #
     3 # $Id$
     3 # $Id$
     4 #
     4 #
     5 # SML/NJ startup script (for 1.06 or later).
     5 # SML/NJ startup script (for 1.06 or later).
     6 #
     6 #