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

---
 tools/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

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