# HG changeset patch
# User wenzelm
# Date 1707989556 -3600
# Node ID a01f4cf202fd5cada14b9e39994fea65e526b7bc
# Parent  58c0636e0ef53ef0e97e4a38cc90e67840269db0
tuned usage message;

diff -r 58c0636e0ef5 -r a01f4cf202fd src/Doc/System/Sessions.thy
--- a/src/Doc/System/Sessions.thy	Thu Feb 15 10:15:28 2024 +0100
+++ b/src/Doc/System/Sessions.thy	Thu Feb 15 10:32:36 2024 +0100
@@ -363,8 +363,8 @@
     -A ROOT      include AFP with given root directory (":" for $AFP_BASE)
     -B NAME      include session NAME and all descendants
     -D DIR       include session directory and select its sessions
-    -H HOSTS     additional build cluster host specifications, of the form
-                 "NAMES:PARAMETERS" (separated by commas)
+    -H HOSTS     additional cluster host specifications of the form
+                 NAMES:PARAMETERS (separated by commas)
     -N           cyclic shuffling of NUMA CPU nodes (performance tuning)
     -P DIR       enable HTML/PDF presentation in directory (":" for default)
     -R           refer to requirements of selected sessions
@@ -387,7 +387,7 @@
 
   Build and manage Isabelle sessions: ML heaps, session databases, documents.
 
-  Parameters for host specifications (option -H), apart from system options:
+  Parameters for cluster host specifications (-H), apart from system options:
      ...
 
   Notable system options: see "isabelle options -l -t build"
diff -r 58c0636e0ef5 -r a01f4cf202fd src/Pure/Build/build.scala
--- a/src/Pure/Build/build.scala	Thu Feb 15 10:15:28 2024 +0100
+++ b/src/Pure/Build/build.scala	Thu Feb 15 10:32:36 2024 +0100
@@ -343,8 +343,8 @@
     -A ROOT      include AFP with given root directory (":" for """ + AFP.BASE.implode + """)
     -B NAME      include session NAME and all descendants
     -D DIR       include session directory and select its sessions
-    -H HOSTS     additional build cluster host specifications, of the form
-                 "NAMES:PARAMETERS" (separated by commas)
+    -H HOSTS     additional cluster host specifications of the form
+                 NAMES:PARAMETERS (separated by commas)
     -N           cyclic shuffling of NUMA CPU nodes (performance tuning)
     -P DIR       enable HTML/PDF presentation in directory (":" for default)
     -R           refer to requirements of selected sessions
@@ -367,7 +367,7 @@
 
   Build and manage Isabelle sessions: ML heaps, session databases, documents.
 
-  Parameters for host specifications (option -H), apart from system options:
+  Parameters for cluster host specifications (-H), apart from system options:
 """ + Library.indent_lines(4, Build_Cluster.Host.parameters.print()) +
 """
 
diff -r 58c0636e0ef5 -r a01f4cf202fd src/Pure/Build/build_schedule.scala
--- a/src/Pure/Build/build_schedule.scala	Thu Feb 15 10:15:28 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala	Thu Feb 15 10:32:36 2024 +0100
@@ -1535,8 +1535,8 @@
     -A ROOT      include AFP with given root directory (":" for """ + AFP.BASE.implode + """)
     -B NAME      include session NAME and all descendants
     -D DIR       include session directory and select its sessions
-    -H HOSTS     additional build cluster host specifications, of the form
-                 "NAMES:PARAMETERS" (separated by commas)
+    -H HOSTS     additional cluster host specifications of the form
+                 NAMES:PARAMETERS (separated by commas)
     -N           cyclic shuffling of NUMA CPU nodes (performance tuning)
     -O FILE      output file
     -R           refer to requirements of selected sessions
@@ -1548,7 +1548,7 @@
     -v           verbose
     -x NAME      exclude session NAME and all descendants
 
-  Generate build graph.
+  Generate build graph for scheduling.
 """,
         "A:" -> (arg => afp_root = Some(if (arg == ":") AFP.BASE else Path.explode(arg))),
         "B:" -> (arg => base_sessions += arg),