changeset 10105 | f9be78009930 |
parent 9997 | 38598a19e701 |
child 10555 | 2323ec838401 |
1.1 --- a/lib/scripts/run-smlnj-0.93 Thu Sep 28 14:40:38 2000 +0200 1.2 +++ b/lib/scripts/run-smlnj-0.93 Thu Sep 28 14:41:48 2000 +0200 1.3 @@ -6,7 +6,7 @@ 1.4 # 1.5 # SML/NJ startup script (for 0.93). 1.6 1.7 -export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE 1.8 +export -n INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE 1.9 1.10 1.11 ## diagnostics