comparison: mtasc/mtasc.patch
mtasc/mtasc.patch
- changeset 112
- 6052d0605a74
- child 113
- 29f149b6e2be
equal
deleted
inserted
replaced
| -1:000000000000 | 0:42204ab8e62e |
|---|---|
| 1 Index: install.ml | |
| 2 --- install.ml.orig 2006-08-02 17:59:19 +0200 | |
| 3 +++ install.ml 2008-05-30 17:49:27 +0200 | |
| 4 @@ -104,10 +104,10 @@ | |
| 5 in | |
| 6 let startdir = Sys.getcwd() in | |
| 7 try | |
| 8 - download(); | |
| 9 + (* download(); *) | |
| 10 compile(); | |
| 11 Sys.chdir startdir; | |
| 12 with | |
| 13 Failure msg -> | |
| 14 Sys.chdir startdir; | |
| 15 - prerr_endline msg; exit 1 | |
| 16 \ No newline at end of file | |
| 17 + prerr_endline msg; exit 1 |
