From 4478fa105477ce6571bcf6f4271c0c1b4ff40e00 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Tue, 23 Jun 2026 21:36:19 +0200
Subject: Updated the way to get the git commit

---
 lib/tools/git_head.sh | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'lib/tools/git_head.sh')

diff --git a/lib/tools/git_head.sh b/lib/tools/git_head.sh
index bfa738a..2d27275 100755
--- a/lib/tools/git_head.sh
+++ b/lib/tools/git_head.sh
@@ -1,11 +1,6 @@
 #! /bin/sh
 # Include the git hash in an OCaml file.
 
-git diff-index --quiet HEAD --
-if [ $? -ne 0  ]; then
-    revision=": untracked"
-else
-    revision=$(git rev-parse --short HEAD)
-fi
+revision=$(git describe --tags --always --dirty)
 compile_date=$(date +%Y/%m/%d)
 echo "let revision = \"${revision} - compiled on ${compile_date}\""
-- 
cgit v1.2.3