From 721ad360249a9abb7ef95dac8a6a6f6fedd871aa Mon Sep 17 00:00:00 2001 From: Rudy Ges Date: Mon, 22 Jan 2024 21:58:48 +0100 Subject: [PATCH] misplaced if... --- src/compiler/compiler.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/compiler/compiler.ml b/src/compiler/compiler.ml index 6aa7762c6af..f4e32e87e8f 100644 --- a/src/compiler/compiler.ml +++ b/src/compiler/compiler.ml @@ -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;