mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-11-10 17:50:33 -05:00
Rework `CONFIG_CHECK` to make it clear some options are indeed optional. Signed-off-by: Paul Zander <negril.nx+gentoo@gmail.com>
Rework `CONFIG_CHECK` to make it clear some options are indeed optional. Signed-off-by: Paul Zander <negril.nx+gentoo@gmail.com>