Re: What's happening to the index
From: David <hidden>
Date: 2016-07-03 08:22:51
On 29 June 2016 at 08:49, Andy Falanga (afalanga) [off-list ref] 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