Re: how do I use the make universe machines?

From: Benjamin Kaduk <>
Date: Tue, 5 Jun 2018 20:12:18 -0500
On Wed, Jun 06, 2018 at 12:47:17AM +0000, Rick Macklem wrote:
> I've heard mention of "make universe" machines multiple times,
> but have no idea how to use them?
> Is there doc on this?
> Thanks, rick
> ps: I'll admit I haven't looked at the developer's guide in a long time.

I think sounds like
the page you're looking for.  (universe is just a top-level make
target like buildworld, but will take a while on non-beefy

Received on Tue Jun 05 2018 - 23:17:30 UTC

This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:16 UTC