X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=main.ml;h=bbc9b06cbce7e2c72b00f249fc845c3d19a900cd;hb=refs%2Fheads%2Ftrellis;hp=a70a473f691d599d8f1f771682cd5030f81850a7;hpb=16c8bb31dd971b7fab00dbb17a75bb08cee463c6;p=vsys.git diff --git a/main.ml b/main.ml index a70a473..bbc9b06 100644 --- a/main.ml +++ b/main.ml @@ -51,7 +51,7 @@ let _ = input_file_list:=List.concat [!input_file_list;frontends] end; - let felst = List.map (fun lst->let (x,y)=lst in printf "Slice %s (%s)\n" x y;flush logfd;new frontendHandler lst) !input_file_list in + let felst = List.map (fun lst->let (x,y)=lst in fprintf logfd "Slice %s (%s)\n" x y;flush logfd;new frontendHandler lst) !input_file_list in let _ = new backendHandler !Globals.backend felst in Fdwatcher.start_watch () end