Allow XGCCPATH to be set on the make command line.
[coreboot.git] / util / kconfig / menu.c
2009-08-12 Patrick GeorgiKconfig!