# HG changeset patch
# User wenzelm
# Date 1475583626 -7200
# Node ID 46c1ffc78d73a725d86ba894b6fb524c2c0aef70
# Parent  eef8a3f8ef4a4b960fe81c3b76287f8a293ee717
tuned;

diff -r eef8a3f8ef4a -r 46c1ffc78d73 src/Pure/Tools/build_history.scala
--- a/src/Pure/Tools/build_history.scala	Tue Oct 04 14:07:10 2016 +0200
+++ b/src/Pure/Tools/build_history.scala	Tue Oct 04 14:20:26 2016 +0200
@@ -75,7 +75,7 @@
       "#-*- shell-script -*- :mode=shellscript:\n")
 
 
-    /* component settings */
+    /* initial settings */
 
     val component_settings =
     {
@@ -94,7 +94,7 @@
     File.append(etc_settings, "\n" + Library.terminate_lines(component_settings))
 
 
-    /* ML settings */
+    /* augmented settings */
 
     val ml_settings =
     {
@@ -138,23 +138,20 @@
         "ML_OPTIONS=" + quote(ml_options))
     }
 
-
-    /* thread settings */
-
     val thread_settings =
       List(
         "ISABELLE_JAVA_SYSTEM_OPTIONS=\"$ISABELLE_JAVA_SYSTEM_OPTIONS -Disabelle.threads=" + threads + "\"",
         "ISABELLE_BUILD_OPTIONS=\"threads=" + threads + "\"")
 
-
-    /* build */
-
     File.append(etc_settings, "\n" +
       cat_lines(List(ml_settings, thread_settings).map(Library.terminate_lines(_))))
 
     if (more_settings.nonEmpty)
       File.append(etc_settings, "\n" + Library.terminate_lines(more_settings))
 
+
+    /* build */
+
     isabelle("components -a").check.print_if(verbose)
     isabelle("jedit -b" + (if (fresh) " -f" else "")).check.print_if(verbose)