aboutsummaryrefslogtreecommitdiff
path: root/tools/git_head.sh
blob: 42c6dcbbeaf2dd3ec179665d7b11f61c490a6584 (plain)
1
2
3
4
5
6
7
8
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}\""