|
@@ -385,10 +385,10 @@ let compile ctx actx callbacks =
|
|
|
filter ctx tctx (fun () -> ());
|
|
|
end;
|
|
|
if ctx.has_error then raise Abort;
|
|
|
- Generate.check_auxiliary_output com actx;
|
|
|
+ if is_compilation com then Generate.check_auxiliary_output com actx;
|
|
|
enter_stage com CGenerationStart;
|
|
|
ServerMessage.compiler_stage com;
|
|
|
- if is_compilation com then Generate.maybe_generate_dump ctx tctx;
|
|
|
+ Generate.maybe_generate_dump ctx tctx;
|
|
|
if not actx.no_output then Generate.generate ctx tctx ext actx;
|
|
|
enter_stage com CGenerationDone;
|
|
|
ServerMessage.compiler_stage com;
|