--- a/src/Pure/Admin/build_sqlite.scala Mon Oct 05 21:15:58 2020 +0200
+++ b/src/Pure/Admin/build_sqlite.scala Mon Oct 05 22:07:25 2020 +0200
@@ -43,8 +43,7 @@
/* settings */
- val etc_dir = component_dir + Path.basic("etc")
- Isabelle_System.make_directory(etc_dir)
+ val etc_dir = Isabelle_System.make_directory(component_dir + Path.basic("etc"))
File.write(etc_dir + Path.basic("settings"),
"""# -*- shell-script -*- :mode=shellscript:
@@ -76,8 +75,7 @@
"org/sqlite/native/Windows/x86_64/sqlitejdbc.dll" -> "x86_64-windows")
for ((file, dir) <- jar_files) {
- val target = component_dir + Path.explode(dir)
- Isabelle_System.make_directory(target)
+ val target = Isabelle_System.make_directory(component_dir + Path.explode(dir))
File.copy(jar_dir + Path.explode(file), target)
}