mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-04-07 03:10:15 -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>