src/Pure/Tools/build.ML
changeset 51941 ead4248aef3b
parent 51666 b97aeb018900
child 51949 f6858bb224c9
     1.1 --- a/src/Pure/Tools/build.ML	Sun May 12 14:25:16 2013 +0200
     1.2 +++ b/src/Pure/Tools/build.ML	Sun May 12 15:05:15 2013 +0200
     1.3 @@ -109,7 +109,9 @@
     1.4  fun use_theories_condition last_timing (options, thys) =
     1.5    let val condition = space_explode "," (Options.string options "condition") in
     1.6      (case filter_out (can getenv_strict) condition of
     1.7 -      [] => use_theories last_timing options (map (rpair Position.none) thys)
     1.8 +      [] =>
     1.9 +        (Options.set_default options;
    1.10 +         use_theories last_timing options (map (rpair Position.none) thys))
    1.11      | conds =>
    1.12          Output.physical_stderr ("Skipping theories " ^ commas_quote thys ^
    1.13            " (undefined " ^ commas conds ^ ")\n"))
    1.14 @@ -128,6 +130,8 @@
    1.15                  ((list (pair Options.decode (list string)))))))))))
    1.16            end;
    1.17  
    1.18 +      val _ = Options.set_default options;
    1.19 +
    1.20        val document_variants =
    1.21          map Present.read_variant (space_explode ":" (Options.string options "document_variants"));
    1.22        val _ =
    1.23 @@ -160,6 +164,7 @@
    1.24        val res2 = Exn.capture Session.finish ();
    1.25        val _ = Par_Exn.release_all [res1, res2];
    1.26  
    1.27 +      val _ = Options.reset_default ();
    1.28        val _ = if do_output then () else exit 0;
    1.29      in 0 end);
    1.30