| changeset 31317 | 1f5740424c69 |
| parent 31315 | 3c7b40548a84 |
| child 39619 | 34952c2423c6 |
| 31316:39fe8093b1df | 31317:1f5740424c69 |
|---|---|
2 # |
2 # |
3 # Author: Markus Wenzel, TU Muenchen |
3 # Author: Markus Wenzel, TU Muenchen |
4 # |
4 # |
5 # SML/NJ startup script (for 110 or later). |
5 # SML/NJ startup script (for 110 or later). |
6 |
6 |
7 export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE |
7 export -n INFILE OUTFILE MLTEXT TERMINATE NOWRITE |
8 |
8 |
9 |
9 |
10 ## diagnostics |
10 ## diagnostics |
11 |
11 |
12 function fail_out() |
12 function fail_out() |