michael@112: Index: install.ml
michael@112: --- install.ml.orig	2006-08-02 17:59:19 +0200
michael@112: +++ install.ml	2008-05-30 17:49:27 +0200
michael@112: @@ -104,10 +104,10 @@
michael@112:  in
michael@112:  let startdir = Sys.getcwd() in
michael@112:  try
michael@112: -	download();
michael@112: +	(* download(); *)
michael@112:  	compile();
michael@112:  	Sys.chdir startdir;
michael@112:  with
michael@112:  	Failure msg -> 
michael@112:  		Sys.chdir startdir;
michael@112: -		prerr_endline msg; exit 1
michael@112: \ No newline at end of file
michael@112: +		prerr_endline msg; exit 1