1.1 --- a/src/Pure/System/build.ML	Sat Jul 21 16:41:55 2012 +0200
     1.2 +++ b/src/Pure/System/build.ML	Sat Jul 21 17:49:22 2012 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4  
     1.5  fun build args_file =
     1.6    let
     1.7 -    val (build_images, (parent, (name, theories))) =
     1.8 +    val (save, (parent, (name, theories))) =
     1.9        File.read (Path.explode args_file) |> YXML.parse_body |>
    1.10          let open XML.Decode in pair bool (pair string (pair string (list string))) end;
    1.11  
    1.12 @@ -22,7 +22,7 @@
    1.13      val _ = Thy_Info.use_thys theories;
    1.14      val _ = Session.finish ();
    1.15  
    1.16 -    val _ = if build_images then () else quit ();
    1.17 +    val _ = if save then () else quit ();
    1.18    in () end
    1.19    handle exn => (Output.error_msg (ML_Compiler.exn_message exn); exit 1);
    1.20