From 4562e70c8180b7ccfdf01dbdbac09564e2f74e4b Mon Sep 17 00:00:00 2001 From: ArthurW Date: Sat, 7 Oct 2023 12:10:57 +0200 Subject: [PATCH] irmin-pack: use checkseum.c --- src/irmin-pack/io/dune | 2 +- src/irmin-pack/unix/dune | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/irmin-pack/io/dune b/src/irmin-pack/io/dune index 346df8f863..d647cfadf2 100644 --- a/src/irmin-pack/io/dune +++ b/src/irmin-pack/io/dune @@ -13,7 +13,7 @@ cmdliner optint checkseum - checkseum.ocaml) + checkseum.c) (preprocess (pps ppx_irmin.internal)) (instrumentation diff --git a/src/irmin-pack/unix/dune b/src/irmin-pack/unix/dune index fa3ae44018..39b8458c14 100644 --- a/src/irmin-pack/unix/dune +++ b/src/irmin-pack/unix/dune @@ -16,7 +16,7 @@ cmdliner optint checkseum - checkseum.ocaml + checkseum.c rusage) (preprocess (pps ppx_irmin.internal))