Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Tue, 16 Mar 2021 23:30:51 +0100
changeset 73445 f817692c929f
parent 73444 02ea468ecf07
child 73446 d1c4c2395650
tuned message;
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_system.scala	Tue Mar 16 22:13:04 2021 +0100
+++ b/src/Pure/System/isabelle_system.scala	Tue Mar 16 23:30:51 2021 +0100
@@ -491,7 +491,7 @@
   def require_command(cmds: String*): Unit =
   {
     for (cmd <- cmds) {
-      if (!bash(Bash.string(cmd) + " --version").ok) error("Missing command: " + quote(cmd))
+      if (!bash(Bash.string(cmd) + " --version").ok) error("Missing system command: " + quote(cmd))
     }
   }
isabelle