tuned;
authorFabian Huch <huch@in.tum.de>
Sat, 16 Mar 2024 10:03:10 +0100
changeset 79909 18969501a13e
parent 79908 c50c15bd304b
child 79910 fbfa7d25749a
tuned;
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),