From e8b746742fdeb44ea976d867001c7b0815df1543 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Tue, 3 Oct 2023 08:44:15 +0200 Subject: Update the compilation rule for git hash inclusion --- bin/qsp_parser.ml | 2 +- tools/dune | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml index 6a6b772..fc40971 100644 --- a/bin/qsp_parser.ml +++ b/bin/qsp_parser.ml @@ -42,7 +42,7 @@ let parse_location : ctx:ctx -> Qparser.Lexbuf.t -> Args.filters -> ctx = match report.Report.level with | Error -> { ctx with error_nb = ctx.error_nb + 1 } | Warn -> { ctx with warn_nb = ctx.warn_nb + 1 } - | Debug -> { ctx with warn_nb = ctx.debug_nb + 1 })) + | Debug -> { ctx with debug_nb = ctx.debug_nb + 1 })) | Error e -> let start_position, _ = Qparser.Lexbuf.positions lexbuf in Format.fprintf Format.std_formatter "Location@ %s@;@[%a]@." diff --git a/tools/dune b/tools/dune index 2e223d4..29ee744 100644 --- a/tools/dune +++ b/tools/dune @@ -3,7 +3,7 @@ (rule (target git_hash.ml) - (deps git_head.sh) + (deps git_head.sh (universe)) (action (with-stdout-to %{target} -- cgit v1.2.3