Wouldn't you call it a bug anyway if running
'make -f Makefile-2.5 oldconfig < /dev/null' went on to build a kernel?
That's pretty surprising behavior.
(Not saying that that does happen, but it's how I read Alex's message)
-- Daniel Jacobowitz Carnegie Mellon University MontaVista Software Debian GNU/Linux Developer - 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/