src/Pure/System/isabelle_system.scala
changeset 73906 9ce115baaa4f
parent 73880 f033d4f661e9
child 73907 4fbbf421c376
--- a/src/Pure/System/isabelle_system.scala	Fri May 07 21:03:20 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala	Fri May 07 23:56:18 2021 +0200
@@ -543,11 +543,9 @@
     else error("Expected to find GNU tar executable")
   }
 
-  def require_command(cmds: String*): Unit =
+  def require_command(cmd: String, test: String = "--version"): Unit =
   {
-    for (cmd <- cmds) {
-      if (!bash(Bash.string(cmd) + " --version").ok) error("Missing system command: " + quote(cmd))
-    }
+    if (!bash(Bash.string(cmd) + " " + test).ok) error("Missing system command: " + quote(cmd))
   }
 
   def hostname(): String = bash("hostname -s").check.out