src/Pure/Tools/build.scala
changeset 66961 f855f9aed72f
parent 66944 05df740cb54b
child 66962 e1bde71bace6
     1.1 --- a/src/Pure/Tools/build.scala	Tue Oct 31 16:42:20 2017 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Tue Oct 31 17:03:57 2017 +0100
     1.3 @@ -380,7 +380,8 @@
     1.4  
     1.5      /* session selection and dependencies */
     1.6  
     1.7 -    val full_sessions = Sessions.load(build_options, dirs, select_dirs)
     1.8 +    val full_sessions =
     1.9 +      Sessions.load(build_options, dirs = dirs, select_dirs = select_dirs)
    1.10  
    1.11      def sources_stamp(deps: Sessions.Deps, name: String): String =
    1.12      {