diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2006-01-25 06:31:20 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2006-01-25 06:31:20 +0000 |
| commit | 5017ffdd82f80ca57c2458ca7befa70a2f8de190 (patch) | |
| tree | d57b419f5a1864bda7a682b948d6b9b9185db5b1 /otherlibs/labltk/browser/main.ml | |
| parent | abc46ae8d34e842580abfd51a5412d26f5769563 (diff) | |
fix PR#3961
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/main.ml')
| -rw-r--r-- | otherlibs/labltk/browser/main.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/main.ml b/otherlibs/labltk/browser/main.ml index 8866f8d0e..bc7de439f 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 |