Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_log.scala
changeset 72375 e48d93811ed7
parent 72012 c81e58a81b8c
child 72694 0116e487e4fe 
--- a/src/Pure/Admin/build_log.scala	Sat Oct 03 23:01:40 2020 +0100
+++ b/src/Pure/Admin/build_log.scala	Mon Oct 05 21:15:58 2020 +0200
@@ -898,7 +898,7 @@
     def snapshot_database(db: PostgreSQL.Database, sqlite_database: Path,
       days: Int = 100, ml_statistics: Boolean = false)
     {
-      Isabelle_System.mkdirs(sqlite_database.dir)
+      Isabelle_System.make_directory(sqlite_database.dir)
       sqlite_database.file.delete
 
       using(SQLite.open_database(sqlite_database))(db2 =>
isabelle