lib/scripts/run-smlnj
changeset 3055 5da4afa207ad
parent 3051 30490aa41356
child 3503 390093b95cb0
equal deleted inserted replaced
3054:c16029f41ad9 3055:5da4afa207ad
     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 #
     7 # Global vars: INFILE OUTFILE COPYDB MLTEXT TERMINATE,
     7 # Global vars: INFILE OUTFILE MLTEXT TERMINATE,
     8 # and from settings
     8 # and from settings
     9 
     9 
    10 
    10 
    11 ## diagnostics
    11 ## diagnostics
    12 
    12