From bd865df34c604ee81bb20c3b813fc7c4fc73897e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 25 Oct 2019 12:24:57 +0200
Subject: [PATCH] [mdr] fix warning message containing verbatim
---
src/plugins/markdown-report/md_gen.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/markdown-report/md_gen.ml b/src/plugins/markdown-report/md_gen.ml
index a29009b11ca..3ddf29b5c5b 100644
--- a/src/plugins/markdown-report/md_gen.ml
+++ b/src/plugins/markdown-report/md_gen.ml
@@ -370,8 +370,9 @@ let section_event is_err env nb event =
insert_marks env lab
else insert_remark env lab
in
+ let pp_warning fmt msg = Format.fprintf fmt "Message: %s" msg in
H2 (plain title, Some lab)
- :: Block [ Text (plain "message text is"); Text (plain event.evt_message) ]
+ :: Block (codeblock "log" pp_warning event.evt_message)
:: content
let make_events_list is_err env l =
--
GitLab