On Tue, Sep 4, 2012 at 2:50 PM, Dag-Erling Smørgrav <des at des.no> wrote: > 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. Does it sanitize TARGETS and KERNCONFs properly? -Garrett