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

cd postgresql-7.1.2
gunzip -c $PATCHDIR/vacuum.patch.gz|patch -b -p0
gunzip -c $PATCHDIR/2001-6-30.patch.gz|patch -b -p0
gunzip -c $PATCHDIR/subquery.patch.gz|patch -b -p0