--- a/src/Pure/Admin/build_jdk.scala Sat Oct 03 23:01:40 2020 +0100
+++ b/src/Pure/Admin/build_jdk.scala Mon Oct 05 21:15:58 2020 +0200
@@ -95,7 +95,7 @@
{
try {
val tmp_dir = dir + Path.explode("tmp")
- Isabelle_System.mkdirs(tmp_dir)
+ Isabelle_System.make_directory(tmp_dir)
if (archive.get_ext == "zip") {
Isabelle_System.bash(
@@ -160,7 +160,7 @@
val jdk_path = Path.explode(jdk_name)
val component_dir = dir + jdk_path
- Isabelle_System.mkdirs(component_dir + Path.explode("etc"))
+ Isabelle_System.make_directory(component_dir + Path.explode("etc"))
File.write(Components.settings(component_dir), settings)
File.write(component_dir + Path.explode("README"), readme(version))