chiark / gitweb /
ours: rename segments from P* to *
[trains.git] / .git-revid
1 #!/bin/bash
2 set -e
3 set -o pipefail
4 desc=`git-describe --always HEAD`
5 log=`git-log -1 --pretty='format:%h %ci %s' HEAD`
6 set +e
7 git-diff --quiet HEAD
8 diffrc=$?
9 set -e
10 case $diffrc in
11 0)      ;;
12 1)      diffplus=+ ;;
13 *)      exit $diffrc ;;
14 esac
15 printf '%.71s\n' "$desc$diffplus $log"