Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/src/vscode_main.scala
changeset 77483 291f5848bf55
parent 77208 a3f67a4459e1 
--- a/src/Tools/VSCode/src/vscode_main.scala	Thu Mar 02 15:55:20 2023 +0100
+++ b/src/Tools/VSCode/src/vscode_main.scala	Thu Mar 02 16:09:22 2023 +0100
@@ -203,7 +203,7 @@
     -m MODE      add print mode for output
     -n           no build of session image on startup
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
-    -p CMD       ML process command prefix (process policy)
+    -p CMD       command prefix for ML process (e.g. NUMA policy)
     -s           system build mode for session image (system_heaps=true)
     -u           user build mode for session image (system_heaps=false)
     -v           verbose logging of language server
@@ -226,7 +226,7 @@
           "m:" -> (arg => modes = modes ::: List(arg)),
           "n" -> (_ => no_build = true),
           "o:" -> add_option,
-          "p:" -> (arg => add_option("ML_process_policy=" + arg)),
+          "p:" -> (arg => add_option("process_policy=" + arg)),
           "s" -> (_ => add_option("system_heaps=true")),
           "u" -> (_ => add_option("system_heaps=false")),
           "v" -> (_ => verbose = true))
isabelle