Searched hist:7732 (Results 1 - 1 of 1) sorted by relevance

/freebsd-10.2-release/release/
H A DMakefilediff 7732 Mon Apr 10 08:01:27 MDT 1995 phk Sanitize the making of kernels a bit, and make the BOOTCDROM kernel too.
If we can get away with it, it will always just be the GENERIC kernel
with a different name.

Completed in 197 milliseconds