# HG changeset patch # User Fabian Huch # 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),