Michal, All,
This patch series:
- includes a fix in case the user has CONFIG_ set in the environment
- allows one to set a custom root-menu label, the same way we handle
the CONFIG_ prefix
Regards,
Yann E. MORIN.
--
To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
