chiark / gitweb /
git-revid: add a "+" if working tree not equal to HEAD
authorIan Jackson <ian@liberator.relativity.greenend.org.uk>
Sat, 6 Nov 2010 17:35:19 +0000 (17:35 +0000)
committerIan Jackson <ian@liberator.relativity.greenend.org.uk>
Sat, 6 Nov 2010 17:35:19 +0000 (17:35 +0000)
.git-revid

index 2cd3d8ca8666f1e6e3ea0879564e3546acfcd850..f4d77702b8ea28cd9edf37560d5b23924396555b 100755 (executable)
@@ -3,4 +3,13 @@ set -e
 set -o pipefail
 desc=`git-describe --always HEAD`
 log=`git-log -1 --pretty='format:%h %ci %s' HEAD`
-printf '%.71s\n' "$desc $log"
+set +e
+git-diff --quiet HEAD
+diffrc=$?
+set -e
+case $diffrc in
+0)     ;;
+1)     diffplus=+ ;;
+*)     exit $diffrc ;;
+esac
+printf '%.71s\n' "$desc$diffplus $log"