#! /bin/sh
PATCHDIR=`echo $0|sed 's@/PATCH$@@'|sed 's@PATCH@@'`
if echo $PATCHDIR|grep -s '^/.*'
then
	:
else
	PATCHDIR=`pwd`/"$PATCHDIR"
fi

gunzip -c $PATCHDIR/deadlock.patch.gz|patch -d postgresql-7.1.3 -b -p4
gunzip -c $PATCHDIR/update.patch.gz|patch -d postgresql-7.1.3 -b -p0
gunzip -c $PATCHDIR/ascii.patch.gz|patch -d postgresql-7.1.3 -b -p1