# HG changeset patch
# User wenzelm
# Date 1690105831 -7200
# Node ID 84471794b2801355c966bff99914c09a2a281ff1
# Parent  5f5f909206bb02b26cbd121f36c14457d620472b
proper afp_root;

diff -r 5f5f909206bb -r 84471794b280 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sat Jul 22 20:37:56 2023 +0200
+++ b/src/Pure/Tools/build.scala	Sun Jul 23 11:50:31 2023 +0200
@@ -420,6 +420,7 @@
             check_unknown_files = Mercurial.is_repository(Path.ISABELLE_HOME),
             build_heap = build_heap,
             clean_build = clean_build,
+            afp_root = afp_root,
             dirs = dirs.toList,
             select_dirs = select_dirs.toList,
             numa_shuffling = Host.numa_check(progress, numa_shuffling),