Skip to content

Commit

Permalink
Add -cache-time flag
Browse files Browse the repository at this point in the history
  • Loading branch information
3Rafal committed Oct 31, 2023
1 parent 54d121c commit e726749
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions src/kernel/mconfig.ml
Original file line number Diff line number Diff line change
Expand Up @@ -359,6 +359,14 @@ let merlin_flags = [
marg_path (fun path merlin -> {merlin with stdlib = Some path}),
"<path> Change path of ocaml standard library"
);
(
"-cache-time",
Marg.param "int" (fun prot merlin ->
try {merlin with cache_flush = (int_of_string prot)}
with _ -> invalid_arg "Valid value is int";
),
"Change file cache retention time"
);
(
(* Legacy support for janestreet. Ignored. To be removed soon. *)
"-attributes-allowed",
Expand Down

0 comments on commit e726749

Please sign in to comment.