Stream: Dune devs & users

Topic: dune cache cleanup vs dune build


view this post on Zulip Paolo Giarrusso (Jun 22 2023 at 21:32):

Do you know if any external locking is needed across cache cleanup and builds? the full setup involves NFS, but I'm curious at least about the single-computer case

view this post on Zulip Emilio Jesús Gallego Arias (Jun 23 2023 at 09:20):

I don't know, locking actually changed recently upstream.

view this post on Zulip Ali Caglayan (Jun 23 2023 at 17:39):

@rgrinberg might be able to say more.

view this post on Zulip Ali Caglayan (Jun 23 2023 at 17:40):

@Rudi Grinberg

view this post on Zulip Ali Caglayan (Jun 24 2023 at 14:18):

Rudi says no locking needed.


Last updated: May 25 2024 at 19:02 UTC