src/Pure/System/build.scala
changeset 48791 9e8f30bfbdca
parent 48739 3a6c03b15916
child 48794 8d2a026e576b
     1.1 --- a/src/Pure/System/build.scala	Tue Aug 14 10:44:03 2012 +0200
     1.2 +++ b/src/Pure/System/build.scala	Tue Aug 14 11:37:58 2012 +0200
     1.3 @@ -366,13 +366,14 @@
     1.4            deps + (name -> Session_Content(loaded_theories, syntax, sources))
     1.5        }))
     1.6  
     1.7 -  def session_content(session: String): Session_Content =
     1.8 +  def session_content(dirs: List[Path], session: String): Session_Content =
     1.9    {
    1.10 -    val (_, tree) = find_sessions(Options.init(), Nil).required(false, Nil, List(session))
    1.11 +    val (_, tree) =
    1.12 +      find_sessions(Options.init(), dirs.map((false, _))).required(false, Nil, List(session))
    1.13      dependencies(false, tree)(session)
    1.14    }
    1.15  
    1.16 -  def outer_syntax(session: String): Outer_Syntax = session_content(session).syntax
    1.17 +  def outer_syntax(session: String): Outer_Syntax = session_content(Nil, session).syntax
    1.18  
    1.19  
    1.20    /* jobs */