| changeset 48662 | b171bcd5dd86 |
| parent 48002 | 6de952f4069f |
| child 53657 | 64942a1f7187 |
| 48661:9149ebdd0241 | 48662:b171bcd5dd86 |
|---|---|
50 |
50 |
51 |
51 |
52 ## prepare databases |
52 ## prepare databases |
53 |
53 |
54 if [ -z "$INFILE" ]; then |
54 if [ -z "$INFILE" ]; then |
55 EXIT="fun exit 0 = (OS.Process.exit OS.Process.success): unit | exit _ = OS.Process.exit OS.Process.failure;" |
55 EXIT="fun exit rc : unit = Posix.Process.exit (Word8.fromInt rc);" |
56 DB="" |
56 DB="" |
57 else |
57 else |
58 EXIT="" |
58 EXIT="" |
59 DB="@SMLload=$INFILE" |
59 DB="@SMLload=$INFILE" |
60 fi |
60 fi |