fix(watch): drop the digest memo between rounds

This commit is contained in:
sneeker committed 2022-08-17 19:24:25 +00:00
1 parent 5af9dfd8a8
commit 82afcaf27f
2 files changed
+5

No files matched your search

+1
View File
@@ -535,6 +535,7 @@ let cmd_compdb () =
let cmd_watch names =
let round () =
Cache.reset ();
let p = configure () in
with_config_header p;
let t0 = Unix.gettimeofday () in