# HG changeset patch
# User wenzelm
# Date 1426524466 -3600
# Node ID 5ec903bf0eae419baee8518e5b8f25c2ba4bc659
# Parent  c1e19e6ae98037af8ea9feb6a89a51717cfa0266# Parent  193f126220729032569831e6abd3e1cdc1e62391
merged

diff -r c1e19e6ae980 -r 5ec903bf0eae src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Mon Mar 16 17:02:00 2015 +0100
+++ b/src/Pure/Tools/build.scala	Mon Mar 16 17:47:46 2015 +0100
@@ -744,7 +744,7 @@
   {
     /* session tree and dependencies */
 
-    val full_tree = find_sessions(options, dirs, select_dirs)
+    val full_tree = find_sessions(options.int("completion_limit") = 0, dirs, select_dirs)
     val (selected, selected_tree) =
       full_tree.selection(requirements, all_sessions, session_groups, sessions)