changeset 62713 | c18a68a3a1f1 |
parent 62666 | 00aff1da05ae |
child 62714 | 63888e5f668b |
--- 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 _ =