--- a/src/Pure/Admin/build_polyml.scala Sat Nov 10 07:57:20 2018 +0000
+++ b/src/Pure/Admin/build_polyml.scala Sat Nov 10 14:08:02 2018 +0100
@@ -272,7 +272,7 @@
build_polyml(root, sha1_root = sha1_root, progress = new Console_Progress,
arch_64 = arch_64, options = options, msys_root = msys_root)
}
- }, admin = true)
+ })
val isabelle_tool2 =
Isabelle_Tool("build_polyml_component", "make skeleton for Poly/ML component", args =>
@@ -298,5 +298,5 @@
}
build_polyml_component(component, sha1_root = sha1_root)
}
- }, admin = true)
+ })
}