diff options
-rw-r--r-- | share/man/man7/build.7 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/share/man/man7/build.7 b/share/man/man7/build.7 index b43a961..aeb161c 100644 --- a/share/man/man7/build.7 +++ b/share/man/man7/build.7 @@ -414,6 +414,16 @@ is set to the value of .It Va LOCAL_DIRS If set, this variable supplies a list of additional directories to build, relative to the root of the source tree. +.It Va PORTS_MODULES +A list of ports with kernel modules that should be built and installed +as part of the +.Cm buildkernel +and +.Cm installkernel +process. +.Bd -literal -offset indent +make PORTS_MODULES=emulators/kqemu-kmod kernel +.Ed .It Va SUBDIR_OVERRIDE Override the default list of sub-directories and only build the sub-directory named in this variable. |