diff options
| author | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2008-01-28 05:29:20 +0000 |
|---|---|---|
| committer | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2008-01-28 05:29:20 +0000 |
| commit | 3f4a98da0fbf8a87c674d6737d8c6cec7e8567e5 (patch) | |
| tree | f5aa13505824d708414ece1f00219b811315c44a /otherlibs/labltk/browser/main.ml | |
| parent | 30f3fa2c5bc27f8c59930741aa1b6dd5a34a6b40 (diff) | |
| download | ocaml-gcaml3090.tar.gz | |
3.09.1 updategcaml3090
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gcaml3090@8792 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/main.ml')
| -rw-r--r-- | otherlibs/labltk/browser/main.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/otherlibs/labltk/browser/main.ml b/otherlibs/labltk/browser/main.ml index 2bc122fe92..8866f8d0e6 100644 --- a/otherlibs/labltk/browser/main.ml +++ b/otherlibs/labltk/browser/main.ml @@ -67,7 +67,7 @@ let _ = let path = ref [] in let st = ref true in - let spec = + (*let spec = [ "-I", Arg.String (fun s -> path := s :: !path), "<dir> Add <dir> to the list of include directories"; "-labels", Arg.Clear Clflags.classic, " <obsolete>"; @@ -100,7 +100,7 @@ let _ = if not (check ~spec Sys.argv) then fatal_error (usage ~spec errmsg); Arg.parse spec (fun name -> raise(Arg.Bad("don't know what to do with " ^ name))) - errmsg; + errmsg;*) Config.load_path := Sys.getcwd () :: List.rev_map ~f:(Misc.expand_directory Config.standard_library) !path @@ -135,5 +135,6 @@ let _ = try if is_win32 then mainLoop () else Printexc.print mainLoop () - with Protocol.TkError _ -> () + with Protocol.TkError _ -> + if not is_win32 then flush stderr done |