mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-10-12 17:51:11 -04: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>