# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1717602076 -7200
# Node ID 1844c169e36013a2dc78ee2211c6afdd2d2d501d
# Parent  6b3374d208b8e406243007b179c0b07be225c102
ensure permissions when starting build task (e.g., due to misconfigured client);

diff -r 6b3374d208b8 -r 1844c169e360 src/Pure/Build/build_manager.scala
--- a/src/Pure/Build/build_manager.scala	Wed Jun 05 17:27:13 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Wed Jun 05 17:41:16 2024 +0200
@@ -633,6 +633,8 @@
           val number = _state.next_number(task.kind)
 
           Exn.capture {
+            store.sync_permissions(context.dir)
+
             val isabelle_rev =
               sync(isabelle_repository, task.isabelle_rev, context.isabelle_dir)