diff -r 4c8295f2f849 -r e48d93811ed7 src/Pure/Admin/build_sqlite.scala
--- a/src/Pure/Admin/build_sqlite.scala	Sat Oct 03 23:01:40 2020 +0100
+++ b/src/Pure/Admin/build_sqlite.scala	Mon Oct 05 21:15:58 2020 +0200
@@ -30,7 +30,7 @@
     if (component_dir.is_dir) error("Component directory already exists: " + component_dir)
     else {
       progress.echo("Component " + component_dir)
-      Isabelle_System.mkdirs(component_dir)
+      Isabelle_System.make_directory(component_dir)
     }
 
 
@@ -44,7 +44,7 @@
     /* settings */
 
     val etc_dir = component_dir + Path.basic("etc")
-    Isabelle_System.mkdirs(etc_dir)
+    Isabelle_System.make_directory(etc_dir)
 
     File.write(etc_dir + Path.basic("settings"),
 """# -*- shell-script -*- :mode=shellscript:
@@ -77,7 +77,7 @@
 
       for ((file, dir) <- jar_files) {
         val target = component_dir + Path.explode(dir)
-        Isabelle_System.mkdirs(target)
+        Isabelle_System.make_directory(target)
         File.copy(jar_dir + Path.explode(file), target)
       }