1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/mtasc/mtasc.patch Wed Feb 25 13:55:52 2009 +0100
1.3 @@ -0,0 +1,17 @@
1.4 +Index: install.ml
1.5 +--- install.ml.orig 2006-08-02 17:59:19 +0200
1.6 ++++ install.ml 2008-05-30 17:49:27 +0200
1.7 +@@ -104,10 +104,10 @@
1.8 + in
1.9 + let startdir = Sys.getcwd() in
1.10 + try
1.11 +- download();
1.12 ++ (* download(); *)
1.13 + compile();
1.14 + Sys.chdir startdir;
1.15 + with
1.16 + Failure msg ->
1.17 + Sys.chdir startdir;
1.18 +- prerr_endline msg; exit 1
1.19 +\ No newline at end of file
1.20 ++ prerr_endline msg; exit 1
