lib/scripts/run-smlnj-0.93
changeset 3055 5da4afa207ad
parent 3010 4be22c300966
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 0.93).
     5 # SML/NJ startup script (for 0.93).
     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