aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChimrod <>2023-10-03 08:44:15 +0200
committerChimrod <>2023-10-03 08:49:36 +0200
commite8b746742fdeb44ea976d867001c7b0815df1543 (patch)
tree08572e79f94b5d8332b7484078cb381cf0d3e2f5
parentea509dd21ebec0ecb4f307d9786ca75dc03eab75 (diff)
Update the compilation rule for git hash inclusion
-rw-r--r--bin/qsp_parser.ml2
-rw-r--r--tools/dune2
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}