1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/haxe/haxe.patch Wed Feb 25 13:55:52 2009 +0100 1.3 @@ -0,0 +1,17 @@ 1.4 +Index: haxe/doc/install.ml 1.5 +--- haxe/doc/install.ml.orig 2007-12-16 14:37:46 +0100 1.6 ++++ haxe/doc/install.ml 2008-05-30 14:06:45 +0200 1.7 +@@ -144,10 +144,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