Skip to content

Commit

Permalink
Review
Browse files Browse the repository at this point in the history
Signed-off-by: Nicolás Ojeda Bär <[email protected]>
  • Loading branch information
nojb committed Nov 20, 2022
1 parent 014f98f commit 4ac1596
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion doc/dune-files.rst
Original file line number Diff line number Diff line change
Expand Up @@ -2317,7 +2317,9 @@ where ``<setting>`` is one of:

- ``auto`` lets Dune decide the best mechanism to use.

- ``hardlink`` uses hard links for entries in the cache.
- ``hardlink`` uses hard links for entries in the cache. If the cache is stored
in a different partition than the one where the build is taking place, then
this mode will not work and ``copy`` should be used instead.

- ``copy`` copies entries to the cache. This is less efficient than using hard
links.
Expand Down

0 comments on commit 4ac1596

Please sign in to comment.