src/Pure/Admin/build_spass.scala
changeset 73906 9ce115baaa4f
parent 73822 4e6b31ed7197
--- a/src/Pure/Admin/build_spass.scala	Fri May 07 21:03:20 2021 +0200
+++ b/src/Pure/Admin/build_spass.scala	Fri May 07 23:56:18 2021 +0200
@@ -22,7 +22,8 @@
   {
     Isabelle_System.with_tmp_dir("build")(tmp_dir =>
     {
-      Isabelle_System.require_command("bison", "flex")
+      Isabelle_System.require_command("bison")
+      Isabelle_System.require_command("flex")
 
 
       /* component */