1
0
mirror of https://git.FreeBSD.org/src.git synced 2024-12-21 11:13:30 +00:00

Fix and shorten BERI kernel builds during universe.

Stop building BERI_DE4_BASE and BERI_SIM_BASE, they aren't particularly
valid as they don't have a root dev.  Do build BERI_DE4_SDROOT which
does so devices get coverage.

Remove ident from BERI_DE4_BASE for the reasons above which will cause
it to fail to build.  BERI_SIM_BASE was already this way and broke
universe.[0]

Reported by:	rpokala
Sponsored by:	DARPA, AFRL
This commit is contained in:
Brooks Davis 2017-02-23 20:41:55 +00:00
parent b215ceaaec
commit b853277efc
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=314180
3 changed files with 4 additions and 4 deletions

View File

@ -7,9 +7,9 @@
# $FreeBSD$
#
include "std.BERI"
#NO_UNIVERSE
ident BERI_DE4_BASE
include "std.BERI"
options NFSCL # Network Filesystem Client
options NFSLOCKD # Network Lock Manager

View File

@ -6,8 +6,6 @@
# $FreeBSD$
#
#NO_UNIVERSE
include "BERI_DE4_BASE"
ident BERI_DE4_SDROOT

View File

@ -6,6 +6,8 @@
# $FreeBSD$
#
#NO_UNIVERSE
include "std.BERI"
options FDT