On Wed, 06/01 10:55, Laszlo Ersek wrote: > (Anyway, this is moot now; I'll happily leave it to Fam! :))
Thanks, I wrote the code before you sent this, so I posted it today anyway. :) Also note that we shouldn't do this at configure time, because between ./configure and make, the tree can be modified. That's why my patch is in Makefile, and always checks the "dirtiness". Fam