# HG changeset patch
# User wenzelm
# Date 1426523206 -3600
# Node ID 193f126220729032569831e6abd3e1cdc1e62391
# Parent  f893472fff31ee1a3bcef3df697b33849fb6fe2e
suppress semantic completion in errors of batch build -- avoid junk in log files;

diff -r f893472fff31 -r 193f12622072 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Mon Mar 16 16:59:59 2015 +0100
+++ b/src/Pure/Tools/build.scala	Mon Mar 16 17:26: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)