Wed, 25 Feb 2009 13:55:52 +0100
Import package vendor original specs for necessary manipulations.
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