Updated the way to get the git commitmain

2 files changed, 1 insertions, 8 deletions

diff --git a/dune-project b/dune-project
index 1c1d66a..119f947 100755
--- a/dune-project
+++ b/dune-project
@@ -43,8 +43,6 @@
    (>= 2.4))
   (decoders
    (>= 1.0.0))
-  (ounit
-   (>= 2.2.6))
   (otoml
    (>= 1.0.1))
   (re
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}\""