git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: What's happening to the index

From
DDavid <bouncingcats@gmail.com>
Date
Jul 3, 2016, 08:21 UTC
Message-ID
<CAMPXz=oMhTr0r8CCS-4B0KzfTCps-bHx9CKyrGCAy2nAbUc5HA@mail.gmail.com>
In-Reply-To
<5772FF0E.6030503@micron.com>
On 29 June 2016 at 08:49, Andy Falanga (afalanga) <afalanga@micron.com> 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

Previous: Matthieu Moy
Message 5 of 5 in “What's happening to the index”
  1. Andy Falanga (afalanga)Jun 28, 2016
  2. Matthieu MoyJun 28, 2016
  3. Andy Falanga (afalanga)Jun 28, 2016
  4. Matthieu MoyJun 29, 2016
  5. DavidJul 3, 2016

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.