lib/scripts/run-smlnj
changeset 2396 721a9e01457b
parent 2349 e9475a7be4ad
child 2429 747177b67670
equal deleted inserted replaced
2395:c24a79fe3651 2396:721a9e01457b
    39 if [ -z "$OUTFILE" ]; then
    39 if [ -z "$OUTFILE" ]; then
    40   COMMIT='fun commit () = (output (std_err, "Error - Database is not opened for writing.\n"); false);'
    40   COMMIT='fun commit () = (output (std_err, "Error - Database is not opened for writing.\n"); false);'
    41 elif [ -n "$INFILE" -a ! "$INFILE" -ef "$OUTFILE" ]; then
    41 elif [ -n "$INFILE" -a ! "$INFILE" -ef "$OUTFILE" ]; then
    42   [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out }
    42   [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out }
    43   cp "$INFILE" "$OUTFILE" || fail_out
    43   cp "$INFILE" "$OUTFILE" || fail_out
    44   chmod +w "$OUTFILE" || fail_out
       
    45 fi
    44 fi
       
    45 
       
    46 [ -n "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out }
    46 
    47 
    47 MLTEXT="$EXIT $COMMIT $MLTEXT"
    48 MLTEXT="$EXIT $COMMIT $MLTEXT"
    48 MLEXIT="commit();"
    49 MLEXIT="commit();"
    49 
    50 
    50 
    51