Index: local/build_number.sh
===================================================================
diff -u -r2e2f8d68148ca4d89fb8ae3029b72ed8956a6f93 -rc78c8f7036c184cc43b8099d35baa36b4106bb29
--- local/build_number.sh	(.../build_number.sh)	(revision 2e2f8d68148ca4d89fb8ae3029b72ed8956a6f93)
+++ local/build_number.sh	(.../build_number.sh)	(revision c78c8f7036c184cc43b8099d35baa36b4106bb29)
@@ -1,6 +1,8 @@
 #!/bin/sh
 
-BUILD_NUMBER=0
+BUILD_NUMBER_OLD=0
+BUILD_NUMBER_CUR=0
+BUILD_NUMBER_NXT=0
 BUILD_FILE=build_number
 
 if test "$1" = "--"; then
@@ -10,17 +12,19 @@
   else
     rm   $BUILD_FILE
   fi
-#  echo $BUILD_NUMBER
+#  echo $BUILD_NUMBER_CUR
 #  exit
 fi
 
 if test -e $BUILD_FILE; then   # file exist
   BN=$(cat $BUILD_FILE)
   if test -n "$BN"; then       # file has content
-    BUILD_NUMBER="$BN"
+    BUILD_NUMBER_CUR="$BN"
+    BUILD_NUMBER_OLD=$((BUILD_NUMBER_CUR - 1))
   fi
 fi
 
-echo $((BUILD_NUMBER + 1)) > $BUILD_FILE
+BUILD_NUMBER_NXT=$((BUILD_NUMBER_CUR + 1))
+echo $BUILD_NUMBER_NXT > $BUILD_FILE
 
-echo $BUILD_NUMBER
+echo $BUILD_NUMBER_OLD $BUILD_NUMBER_CUR $BUILD_NUMBER_NXT