PP=../../bin/pp
Out=$1
shift
echo Running: pp $*
sh -c "$PP $* > local/$Out 2>&1"
echo Checking $Out
diff local/$Out stand/$Out
exit 0
