lib/scripts/run-smlnj
changeset 2936 bd33e7aae062
parent 2622 80a81a36dd81
child 3007 e5efa177ee0c
equal deleted inserted replaced
2935:998cb95fdd43 2936:bd33e7aae062
    37 COMMIT="fun commit () = not (exportML\"$OUTFILE\");"
    37 COMMIT="fun commit () = not (exportML\"$OUTFILE\");"
    38 
    38 
    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 fi
    44 fi
    45 
    45 
    46 [ -n "$OUTFILE" -a -f "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out }
    46 [ -n "$OUTFILE" -a -f "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out; }
    47 
    47 
    48 MLTEXT="$EXIT $COMMIT $MLTEXT"
    48 MLTEXT="$EXIT $COMMIT $MLTEXT"
    49 MLEXIT="commit();"
    49 MLEXIT="commit();"
    50 
    50 
    51 
    51