diff --git a/CHANGES.md b/CHANGES.md index 94ee3264728..a35a623c376 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -24,6 +24,10 @@ Unreleased - Fix permission errors when `sendfile` is not available (#8234, fixes #8120, @emillon) +- Disable background digests on Windows. This prevents an issue where + unremovable files would make dune crash when the shared cache is enabled. + (#8243, fixes #8228, @emillon) + 3.9.1 (2023-07-06) ------------------ diff --git a/src/dune_config/config.ml b/src/dune_config/config.ml index eac22094920..b96e7dceaf3 100644 --- a/src/dune_config/config.ml +++ b/src/dune_config/config.ml @@ -116,7 +116,10 @@ let background_digests = let t = { name = "background_digests" ; of_string = Toggle.of_string - ; value = background_default + ; value = + (match Platform.OS.value with + | Linux -> `Enabled + | _ -> `Disabled) } in register t;