On 29 June 2016 at 08:49, Andy Falanga (afalanga) <afalanga@xxxxxxxxxx> wrote: > Is there some sort of strange file caching that happening when > make starts that, although the local db is updated, I don't get what I'm > after? I don't have time to look at your git issue, but I write this quick note just in case it might help you to be aware that 'gnu make' apparently does implement internal directory caching. This is known to cause unexpected results in makefiles whose recipes change the filesystem in ways that make does not notice. See for example: http://lists.gnu.org/archive/html/help-make/2015-02/msg00012.html and related bug reports, for example: https://savannah.gnu.org/bugs/index.php?41273 You might want to create a simple runnable example and ask on the extremely helpful gnu-make mailing list: https://lists.gnu.org/mailman/listinfo/help-make -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html