GIT-VERSION-GEN: detect dirty tree and mark the version accordingly.

diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index 7763639a82bf7e2d4ccef8d2795b9e9dda197e9b..73aaff0a2979de8bcfd72f8a10793a07f17c18ad 100755 (executable)
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -10,6 +10,15 @@ VN=$(cat version) ||
 VN="$DEF_VER"
 
 VN=$(expr "$VN" : v*'\(.*\)')
+
+dirty=$(sh -c 'git-diff-index --name-only HEAD' 2>/dev/null) || dirty=
+case "$dirty" in
+'')
+       ;;
+*)
+       VN="$VN-dirty" ;;
+esac
+
 if test -r $GVF
 then
        VC=$(sed -e 's/^GIT_VERSION = //' <$GVF)