diff options
-rw-r--r-- | make_patchnum.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/make_patchnum.sh b/make_patchnum.sh index d3c94411ae..2746840e95 100644 --- a/make_patchnum.sh +++ b/make_patchnum.sh @@ -4,7 +4,12 @@ Existing=`cat .patchnum 2>/dev/null` if [ -e ".patch" ]; then Current=`awk '{print $4}' .patch` else + # we should do something better here Current=`git describe` + Changed=`git diff-index --name-only HEAD` + if [ -n "$Changed" ]; then + Current="$Current-with-uncommitted-changes" + fi fi if [ "$Existing" != "$Current" ]; then |