> BTW> There is some different thing broken: TEMP files
> used by make menuconfig don't get clean up even after make distclean.
Could you be more specific? The only file I can see lying around here
is .menuconfig.log, and that gets cleaned up.
--Kai
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/