# HG changeset patch
# User wenzelm
# Date 1458996074 -3600
# Node ID c18a68a3a1f1122ba9c66637985b455694384d0f
# Parent  22a17cec2efe03fb6d3db4c914f38131f3a07bc8
tuned signature;

diff -r 22a17cec2efe -r c18a68a3a1f1 src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Sat Mar 26 12:35:11 2016 +0100
+++ b/src/Pure/System/isabelle_process.ML	Sat Mar 26 13:41:14 2016 +0100
@@ -12,7 +12,6 @@
   val crashes: exn list Synchronized.var
   val init_protocol: string -> unit
   val init_options: unit -> unit
-  val init_build_options: unit -> unit
   val init_protocol_options: Options.T -> unit
 end;
 
@@ -216,10 +215,6 @@
   Multithreading.max_threads_update (Options.default_int "threads");
   Goal.parallel_proofs := Options.default_int "parallel_proofs");
 
-fun init_build_options () =
- (Options.load_default ();
-  init_options ());
-
 fun init_protocol_options options =
  (Options.set_default options;
   init_options ();
diff -r 22a17cec2efe -r c18a68a3a1f1 src/Pure/Tools/build.ML
--- a/src/Pure/Tools/build.ML	Sat Mar 26 12:35:11 2016 +0100
+++ b/src/Pure/Tools/build.ML	Sat Mar 26 13:41:14 2016 +0100
@@ -135,7 +135,8 @@
         end;
 
     val symbols = HTML.make_symbols symbol_codes;
-    val _ = Isabelle_Process.init_build_options ();
+    val _ = Options.load_default ();
+    val _ = Isabelle_Process.init_options ();
 
     val _ = writeln ("\fSession.name = " ^ name);
     val _ =