lib/tools/git_head.sh


1
2
3
4
5
6
7
8
9
10
11

#! /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
compile_date=$(date +%Y/%m/%d)
echo "let revision = \"${revision} - compiled on ${compile_date}\""