src/Pure/Tools/build.scala
changeset 68219 c0341c0080e2
parent 68217 3e90b88b0fc2
child 68220 8fc4e3d1df86
     1.1 --- a/src/Pure/Tools/build.scala	Sat May 19 14:52:01 2018 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Sat May 19 15:45:45 2018 +0200
     1.3 @@ -465,7 +465,7 @@
     1.4  
     1.5      val queue = Queue(progress, deps.sessions_structure, store)
     1.6  
     1.7 -    store.prepare_output()
     1.8 +    store.prepare_output_dir()
     1.9  
    1.10      // cleanup
    1.11      def cleanup(name: String, echo: Boolean = false)