src/Pure/Tools/build.ML
changeset 62713 c18a68a3a1f1
parent 62666 00aff1da05ae
child 62714 63888e5f668b
     1.1 --- a/src/Pure/Tools/build.ML	Sat Mar 26 12:35:11 2016 +0100
     1.2 +++ b/src/Pure/Tools/build.ML	Sat Mar 26 13:41:14 2016 +0100
     1.3 @@ -135,7 +135,8 @@
     1.4          end;
     1.5  
     1.6      val symbols = HTML.make_symbols symbol_codes;
     1.7 -    val _ = Isabelle_Process.init_build_options ();
     1.8 +    val _ = Options.load_default ();
     1.9 +    val _ = Isabelle_Process.init_options ();
    1.10  
    1.11      val _ = writeln ("\fSession.name = " ^ name);
    1.12      val _ =