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/Tools/build.scala
changeset 68219 c0341c0080e2
parent 68217 3e90b88b0fc2
child 68220 8fc4e3d1df86 
--- a/src/Pure/Tools/build.scala	Sat May 19 14:52:01 2018 +0200
+++ b/src/Pure/Tools/build.scala	Sat May 19 15:45:45 2018 +0200
@@ -465,7 +465,7 @@
 
     val queue = Queue(progress, deps.sessions_structure, store)
 
-    store.prepare_output()
+    store.prepare_output_dir()
 
     // cleanup
     def cleanup(name: String, echo: Boolean = false)
isabelle