src/Pure/Tools/build.scala
changeset 59723 193f12622072
parent 59705 740a0ca7e09b
child 59736 5c1a0069b9d3
     1.1 --- a/src/Pure/Tools/build.scala	Mon Mar 16 16:59:59 2015 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Mon Mar 16 17:26:46 2015 +0100
     1.3 @@ -744,7 +744,7 @@
     1.4    {
     1.5      /* session tree and dependencies */
     1.6  
     1.7 -    val full_tree = find_sessions(options, dirs, select_dirs)
     1.8 +    val full_tree = find_sessions(options.int("completion_limit") = 0, dirs, select_dirs)
     1.9      val (selected, selected_tree) =
    1.10        full_tree.selection(requirements, all_sessions, session_groups, sessions)
    1.11