changeset 72375 | e48d93811ed7 |
parent 72323 | e36f94e2eb6b |
child 72565 | ed5b907bbf50 |
--- a/src/Pure/Thy/sessions.scala Sat Oct 03 23:01:40 2020 +0100 +++ b/src/Pure/Thy/sessions.scala Mon Oct 05 21:15:58 2020 +0200 @@ -1132,7 +1132,7 @@ def output_log(name: String): Path = output_dir + log(name) def output_log_gz(name: String): Path = output_dir + log_gz(name) - def prepare_output_dir() { Isabelle_System.mkdirs(output_dir + Path.basic("log")) } + def prepare_output_dir() { Isabelle_System.make_directory(output_dir + Path.basic("log")) } /* heap */