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.