Re: [GIT PULL] perf fixes

From: David Ahern
Date: Thu Sep 12 2013 - 15:58:38 EST


On 9/12/13 11:43 AM, Arnaldo Carvalho de Melo wrote:
Its something that annoys me as well, but not so much as to make me
figure out how to make those be done only if some source file changed.

Jiri and I have both taken stabs at a config-based build rather than probing. Just need to finish it.

David
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/