From 6b377719c10d5ab3343fd5221f99a4a21008e25a Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Thu, 14 Mar 2024 08:26:58 +0100
Subject: Initial commit

---
 lib/tools/dune | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 lib/tools/dune

(limited to 'lib/tools/dune')

diff --git a/lib/tools/dune b/lib/tools/dune
new file mode 100644
index 0000000..29ee744
--- /dev/null
+++ b/lib/tools/dune
@@ -0,0 +1,10 @@
+(library
+ (name tools))
+
+(rule
+ (target git_hash.ml)
+ (deps git_head.sh (universe))
+ (action
+  (with-stdout-to
+   %{target}
+   (bash "./git_head.sh"))))
-- 
cgit v1.2.3