diff options
author | Chimrod <> | 2023-10-03 08:44:15 +0200 |
---|---|---|
committer | Chimrod <> | 2023-10-03 08:49:36 +0200 |
commit | e8b746742fdeb44ea976d867001c7b0815df1543 (patch) | |
tree | 08572e79f94b5d8332b7484078cb381cf0d3e2f5 | |
parent | ea509dd21ebec0ecb4f307d9786ca75dc03eab75 (diff) |
Update the compilation rule for git hash inclusion
-rw-r--r-- | bin/qsp_parser.ml | 2 | ||||
-rw-r--r-- | 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]@." @@ -3,7 +3,7 @@ (rule (target git_hash.ml) - (deps git_head.sh) + (deps git_head.sh (universe)) (action (with-stdout-to %{target} |