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

cd postgresql-6.5.2
gunzip -c $PATCHDIR/case.patch.gz|patch -p0