From 67a45ca96a91613999e52aef7fa27b3da907423e Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 2 Sep 2024 08:57:25 +0200
Subject: [PATCH] [Kernel] add preprocessing debug message
---
src/kernel_services/ast_queries/file.ml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index 9159303d7a..6e4d220426 100644
--- a/src/kernel_services/ast_queries/file.ml
+++ b/src/kernel_services/ast_queries/file.ml
@@ -572,7 +572,9 @@ let parse_cabs cpp_command = function
if Sys.command cpp_command <> 0 then begin
safe_remove_file ppf;
abort_with_detailed_pp_message f cpp_command
- end;
+ end else
+ Kernel.debug ~dkey:Kernel.dkey_pp
+ "Full preprocessing commmand: %s" cpp_command;
let ppf =
if Kernel.ReadAnnot.get() &&
((Kernel.PreprocessAnnot.is_set () &&
--
GitLab