src/Pure/Tools/build.ML

           " (undefined " ^ commas conds ^ ")\n"))
   end;
 
 in
 
-fun build args_file = Command_Line.tool (fn () =>
+fun build args_file = Command_Line.tool0 (fn () =>
     let
       val _ = SHA1_Samples.test ();
 
       val (command_timings, (do_output, (options, (verbose, (browser_info,
           (document_files, (parent_name, (chapter, (name, theories))))))))) =

       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);
+    in () end);
 
 end;
 
 end;