| changeset 56627 | cb912b7de3cf |
| parent 53657 | 64942a1f7187 |
| child 59344 | e0ce214303c1 |
| 56626:6532efd66a70 | 56627:cb912b7de3cf |
|---|---|
52 |
52 |
53 |
53 |
54 ## prepare databases |
54 ## prepare databases |
55 |
55 |
56 if [ -z "$INFILE" ]; then |
56 if [ -z "$INFILE" ]; then |
57 EXIT="fun exit rc : unit = Posix.Process.exit (Word8.fromInt rc);" |
57 EXIT="fun exit rc = Posix.Process.exit (Word8.fromInt rc);" |
58 DB="" |
58 DB="" |
59 else |
59 else |
60 EXIT="" |
60 EXIT="" |
61 DB="@SMLload=$INFILE" |
61 DB="@SMLload=$INFILE" |
62 fi |
62 fi |