|
@@ -336,7 +336,7 @@ let generate tctx ext xml_out interp swf_header =
|
|
| _ -> Common.mkdir_from_path com.file
|
|
| _ -> Common.mkdir_from_path com.file
|
|
end;
|
|
end;
|
|
if interp then
|
|
if interp then
|
|
- MacroContext.interpret tctx
|
|
|
|
|
|
+ Std.finally (Common.timer ["interp"]) MacroContext.interpret tctx
|
|
else if com.platform = Cross then
|
|
else if com.platform = Cross then
|
|
()
|
|
()
|
|
else begin
|
|
else begin
|
|
@@ -936,6 +936,7 @@ with
|
|
raise (DisplayOutput.Completion s)
|
|
raise (DisplayOutput.Completion s)
|
|
| Interp.Sys_exit i | Hlinterp.Sys_exit i ->
|
|
| Interp.Sys_exit i | Hlinterp.Sys_exit i ->
|
|
ctx.flush();
|
|
ctx.flush();
|
|
|
|
+ if !measure_times then report_times prerr_endline;
|
|
exit i
|
|
exit i
|
|
| e when (try Sys.getenv "OCAMLRUNPARAM" <> "b" || CompilationServer.runs() with _ -> true) && not (is_debug_run()) ->
|
|
| e when (try Sys.getenv "OCAMLRUNPARAM" <> "b" || CompilationServer.runs() with _ -> true) && not (is_debug_run()) ->
|
|
error ctx (Printexc.to_string e) null_pos
|
|
error ctx (Printexc.to_string e) null_pos
|