John Baldwin <jhb at freebsd.org> writes: > Hmm, the tinderbox skips the BERI configs: It doesn't build the BERI kernels because they're mips64/mips, and it only builds mips/mips. DES -- Dag-Erling Smørgrav - des at des.no