src/Pure/System/build.ML
changeset 48734 af91cd2301ba
parent 48731 a45ba78abcc1
child 48804 6348e5fca42e
equal deleted inserted replaced
48733:18e76e2db6d4 48734:af91cd2301ba
    80           (List.app use_theories
    80           (List.app use_theories
    81             |> Session.with_timing name verbose
    81             |> Session.with_timing name verbose
    82             |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads"));
    82             |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads"));
    83 
    83 
    84       val _ = Session.finish ();
    84       val _ = Session.finish ();
    85       val _ = if do_output then Secure.commit () else ();
    85       val _ = if do_output then () else exit 0;
    86     in 0 end);
    86     in 0 end);
    87 
    87 
    88 end;
    88 end;
    89 
    89 
    90 end;
    90 end;