world: Introduce NO_INITRD option.
commit321d86d7e400a00cccbda2f5761fdfe4728a3cae
authorzrj <rimvydas.jasinskas@gmail.com>
Tue, 7 Jan 2020 08:50:44 +0000 (7 10:50 +0200)
committerzrj <rimvydas.jasinskas@gmail.com>
Tue, 7 Jan 2020 18:36:26 +0000 (7 20:36 +0200)
treeda3a900d7bff77bd02af04d2e79a475b7928c947
parentd34e7773ebd79e5af1217c0037b1e45846ca9020
world: Introduce NO_INITRD option.

 Sometimes it is useful to skip rebuilding initrd during development.
Makefile.inc1
etc/defaults/make.conf
share/man/man5/make.conf.5