diff --git a/tools/post-build.sh b/tools/post-build.sh new file mode 100644 index 0000000..6f85daa --- /dev/null +++ b/tools/post-build.sh @@ -0,0 +1,16 @@ +#!/bin/sh + +FILE=$1 +if [ -z $FILE ] +then + exit 0 +fi + +OLD="$FILE.old" + +cp -f $FILE $OLD + +awk '$0 !~ /#define _BUILD/ { print $0 } + $0 ~ /#define _BUILD/ { n = $3 + 1; print $1 " " $2 " " n }' $OLD>$FILE + +rm -f $OLD