--- a/src/Pure/Tools/build.scala Thu Jan 05 20:25:41 2023 +0100
+++ b/src/Pure/Tools/build.scala Thu Jan 05 20:44:10 2023 +0100
@@ -546,7 +546,7 @@
-j INT maximum number of parallel jobs (default 1)
-k KEYWORD check theory sources for conflicts with proposed keywords
-l list session source files
- -n no build -- test dependencies only
+ -n no build -- take existing build databases
-o OPTION override Isabelle system OPTION (via NAME=VAL or NAME)
-v verbose
-x NAME exclude session NAME and all descendants