source: trunk/athena/bin/delete/makepatch @ 6956

#!/bin/sh

rm -f patch
OLDPATCHLEVEL=`cat PATCHLEVEL`
PATCHLEVEL=`expr $OLDPATCHLEVEL + 1`
echo Incrementing PATCHLEVEL to patch level $PATCHLEVEL
co -l PATCHLEVEL > /dev/null 2> /dev/null
echo $PATCHLEVEL > PATCHLEVEL
echo "PATCHLEVEL incremented by makepatch" | ci -u PATCHLEVEL\
        2>/dev/null
echo Adding RCS symbols to RCS logs
addrcsname PATCHLEVEL$PATCHLEVEL $* >/dev/null 2>/dev/null
echo Putting differences into the patch file
rcsdiff -c -rPATCHLEVEL$OLDPATCHLEVEL $* \
        | egrep -v '^No differences encountered$'\
        > patch;
exit 0