smarter make_patchnum.sh, get the .patchnum from the .patch file if it exists

diff --git a/make_patchnum.sh b/make_patchnum.sh
index 2306fa8..d3c9441 100644 (file)
--- a/make_patchnum.sh
+++ b/make_patchnum.sh
@@ -1,7 +1,11 @@
 #!/bin/sh
 
 Existing=`cat .patchnum 2>/dev/null`
-Current=`git describe`
+if [ -e ".patch" ]; then
+       Current=`awk '{print $4}' .patch`
+else
+       Current=`git describe`
+fi
 
 if [ "$Existing" != "$Current" ]; then
        echo "Updating .patchnum"