From b7964befd039c41c63e00ef323f9eb49061c144c Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sun, 1 Oct 2023 19:30:58 +0200
Subject: Added the git revision in the code

---
 tools/git_head.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 tools/git_head.sh

(limited to 'tools/git_head.sh')

diff --git a/tools/git_head.sh b/tools/git_head.sh
new file mode 100755
index 0000000..42c6dcb
--- /dev/null
+++ b/tools/git_head.sh
@@ -0,0 +1,9 @@
+#! /bin/sh
+# Include the git hash in an OCaml file.
+
+revision=$(git rev-parse --short HEAD)
+compile_date=$(date +%Y/%m/%d)
+
+
+echo "let revision = \"${revision} - compiled on ${compile_date}\""
+
-- 
cgit v1.2.3