id	summary	reporter	owner	description	type	status	priority	milestone	component	resolution	keywords	cc
10	Make the build system notice configuration file changes	Nicolas Pouillon	Nicolas Pouillon	"When `make`ing two kernels with different configuration files in a row, the build system does strange mix for the second one. This is because the dependency tracking is done only on the time of files, and not path.

We (I) should add a dependency tracking on the contents, or the name of the file..."	defect	closed	major		Build system	fixed