add Toploop and Topmain manually to the list of modules to keep
Ignore-this: c300c14dfd007c9ab16616c7be150466 darcs-hash:20120731145322-c41ad-584b36703d3e719d8e0e5acefb276a6a40201e1a
This commit is contained in:
parent
fc886d8648
commit
41e8b10e64
|
@ -89,6 +89,9 @@ let () =
|
|||
(Array.to_list (Pathname.readdir directory)))
|
||||
directories StringSet.empty
|
||||
in
|
||||
(* These are not in the stdlib path since 4.00 *)
|
||||
let modules = StringSet.add "Toploop" modules in
|
||||
let modules = StringSet.add "Topmain" modules in
|
||||
Cmd (S [A (stdlib / "expunge");
|
||||
A (env "%.top");
|
||||
A (env "%.byte");
|
||||
|
|
Loading…
Reference in New Issue