lib/scripts/run-smlnj
changeset 3503 390093b95cb0
parent 3055 5da4afa207ad
child 3630 aee7effe0816
equal deleted inserted replaced
3502:ec22ba0a26ec 3503:390093b95cb0
     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 MLTEXT TERMINATE,
     7 # Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE,
     8 # and from settings
     8 # and from settings
     9 
     9 
    10 
    10 
    11 ## diagnostics
    11 ## diagnostics
    12 
    12 
    72 
    72 
    73 #fix heap file name
    73 #fix heap file name
    74 [ -n "$OUTFILE" -a -n "$SUFFIX" -a -f "$OUTFILE$SUFFIX" ] \
    74 [ -n "$OUTFILE" -a -n "$SUFFIX" -a -f "$OUTFILE$SUFFIX" ] \
    75   && mv "$OUTFILE$SUFFIX" "$OUTFILE"
    75   && mv "$OUTFILE$SUFFIX" "$OUTFILE"
    76 
    76 
       
    77 [ -n "$OUTFILE" -a -n "$NOWRITE" ] && chmod -w "$OUTFILE"
       
    78 
    77 exit $RC
    79 exit $RC