Bruce Momjian writes:
> I put stuff in /tools so if something happens to me, you guys can keep> going.
Yes, we keep going with make clean; make check, like everyone else. Whydon't you consider using that?
-- Peter Eisentraut peter_e(at)gmx(dot)net