--- a/src/Pure/Tools/build.ML Sun May 12 14:25:16 2013 +0200
+++ b/src/Pure/Tools/build.ML Sun May 12 15:05:15 2013 +0200
@@ -109,7 +109,9 @@
fun use_theories_condition last_timing (options, thys) =
let val condition = space_explode "," (Options.string options "condition") in
(case filter_out (can getenv_strict) condition of
- [] => use_theories last_timing options (map (rpair Position.none) thys)
+ [] =>
+ (Options.set_default options;
+ use_theories last_timing options (map (rpair Position.none) thys))
| conds =>
Output.physical_stderr ("Skipping theories " ^ commas_quote thys ^
" (undefined " ^ commas conds ^ ")\n"))
@@ -128,6 +130,8 @@
((list (pair Options.decode (list string)))))))))))
end;
+ val _ = Options.set_default options;
+
val document_variants =
map Present.read_variant (space_explode ":" (Options.string options "document_variants"));
val _ =
@@ -160,6 +164,7 @@
val res2 = Exn.capture Session.finish ();
val _ = Par_Exn.release_all [res1, res2];
+ val _ = Options.reset_default ();
val _ = if do_output then () else exit 0;
in 0 end);