From 6fc1e0659a5c350691da282791cf0792c75e1561 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 13 Mar 2018 19:15:06 +0000 Subject: [PATCH] Workaround non-precise mtime on OSX --- src/build_system.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/build_system.ml b/src/build_system.ml index c3098cca..ac56495a 100644 --- a/src/build_system.ml +++ b/src/build_system.ml @@ -1177,6 +1177,8 @@ let eval_request t ~request ~process_target = let universe_file = Path.relative Path.build_dir ".universe-state" let update_universe t = + (* To workaround the fact that [mtime] is not precise enough on OSX *) + Utils.Cached_digest.remove universe_file; let fname = Path.to_string universe_file in let n = if Sys.file_exists fname then