diff options
| -rwxr-xr-x | dune-project | 2 | ||||
| -rwxr-xr-x | lib/tools/git_head.sh | 7 |
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}\"" |