# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1710579790 -3600
# Node ID 18969501a13e4f736dcba414bf49efaee26dd581
# Parent  c50c15bd304b261237901e1a33d62a7d81b4eb90
tuned;

diff -r c50c15bd304b -r 18969501a13e src/Pure/Build/build_schedule.scala
--- a/src/Pure/Build/build_schedule.scala	Sat Mar 16 10:02:16 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala	Sat Mar 16 10:03:10 2024 +0100
@@ -1635,7 +1635,7 @@
     -v           verbose
     -x NAME      exclude session NAME and all descendants
 
-  Generate build graph for scheduling.
+  Generate build schedule, but do not run actual build.
 """,
         "A:" -> (arg => afp_root = Some(if (arg == ":") AFP.BASE else Path.explode(arg))),
         "B:" -> (arg => base_sessions += arg),