#! /bin/sh

TOP=`/bin/dirname $0`
if [ "$TOP" = "." ]; then
        TOP=`pwd`
fi
TOP=`/bin/dirname $TOP`
se -I$TOP/perfmon $TOP/perfmon/perfmon.se
