What's the official method to test the build now?

[Ian Lepore]

On Fri, 2015-03-20 at 19:52 -0400, Ryan Stone wrote:
> "make tinderbox" has been broken for weeks, so I presume it's not what I'm
> supposed to be using to test my commits anymore.  What's the officially
> supported make target that I'm supposed to use?

I use "make universe", sometimes with the -DMAKE_JUST_KERNELS option.
But the LINT kernels for x86 and sparc have been broken since January.

-- Ian