diff -r 3d954183b707 -r 258bef08b31e src/Pure/Admin/build_polyml.scala
--- 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)
+    })
 }