src/Pure/Tools/build.scala
changeset 67026 687c822ee5e3
parent 67025 961285f581e6
child 67030 a9859e879f38
     1.1 --- a/src/Pure/Tools/build.scala	Tue Nov 07 16:44:25 2017 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Tue Nov 07 16:50:26 2017 +0100
     1.3 @@ -382,7 +382,7 @@
     1.4      /* session selection and dependencies */
     1.5  
     1.6      val full_sessions =
     1.7 -      Sessions.load(build_options, dirs = dirs, select_dirs = select_dirs, infos = infos)
     1.8 +      Sessions.load_structure(build_options, dirs = dirs, select_dirs = select_dirs, infos = infos)
     1.9  
    1.10      def sources_stamp(deps: Sessions.Deps, name: String): String =
    1.11      {