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