Skip to content

Commit

Permalink
Investigate logs
Browse files Browse the repository at this point in the history
  • Loading branch information
3Rafal committed Nov 7, 2023
1 parent 0448fd5 commit 4c1f4ea
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions tests/test-dirs/cache-time.t
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,8 @@ When cache time is set to large value, we keep the cache
> | tail -1 | sed 's/\ ".*\"//'
keeping

$ cat merlin_logs

When cache time is set to 0, file cache gets flushed
$ $MERLIN server errors -log-file merlin_logs -cache-time 0 \
> -filename main.ml 1> /dev/null <main.ml
Expand Down

0 comments on commit 4c1f4ea

Please sign in to comment.