1if [ ! -r version ]; then echo 0 > version; fi 2touch version 3awk ' { version = $1 + 1; }\ 4END { printf "char version[] = \"Version 4.%d ", version > "vers.c";\ 5 printf "%d\n", version > "version"; }' < version 6echo `date`'";' >> vers.c 7