#!/bin/sh
# increments build number
buildno=`egrep '^int buildnb' patchlevel.h | awk '{print $4}'`
totalbno=`egrep '^int totalbnb' patchlevel.h | awk '{print $4}'`
buildno=`expr ${buildno} + 1`
totalbno=`expr ${totalbno} + 1`
sed -e '/^const char \*patchlevel/q' patchlevel.h > tmppatch
mv tmppatch patchlevel.h
echo "int buildnb = $buildno ;" >> patchlevel.h 
echo "int totalbnb = $totalbno ;" >> patchlevel.h 
# use the Real user name if available, else the logname
if [ "${NAME}" != "" ] ; then
    echo "char *builder = \"$NAME\" ;" >> patchlevel.h 
else
    echo "char *builder = \"$USER\" ;" >> patchlevel.h 
fi
echo "Incrementing build level"
