src/Pure/Admin/build_vampire.scala
changeset 73906 9ce115baaa4f
parent 73590 0ffcad1f6130
--- a/src/Pure/Admin/build_vampire.scala	Fri May 07 21:03:20 2021 +0200
+++ b/src/Pure/Admin/build_vampire.scala	Fri May 07 23:56:18 2021 +0200
@@ -29,7 +29,8 @@
     progress: Progress = new Progress,
     target_dir: Path = Path.current): Unit =
   {
-    Isabelle_System.require_command("git", "cmake")
+    Isabelle_System.require_command("git")
+    Isabelle_System.require_command("cmake")
 
     Isabelle_System.with_tmp_dir("build")(tmp_dir =>
     {