diff -r b6551e0c70c4 -r 245dd5f82462 etc/build.props
--- a/etc/build.props	Tue Jun 04 09:02:18 2024 +0200
+++ b/etc/build.props	Tue Jun 04 09:02:36 2024 +0200
@@ -57,6 +57,7 @@
   src/Pure/Build/build_cluster.scala \
   src/Pure/Build/build_job.scala \
   src/Pure/Build/build_process.scala \
+  src/Pure/Build/build_manager.scala \
   src/Pure/Build/build_schedule.scala \
   src/Pure/Build/database_progress.scala \
   src/Pure/Build/export.scala \