#! /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.1
gunzip -c $PATCHDIR/pl_exec.patch.gz|patch -b -p1