[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #41273] Directory cache causes issues with wildcard, etc.
From: |
Paul D. Smith |
Subject: |
[bug #41273] Directory cache causes issues with wildcard, etc. |
Date: |
Wed, 18 Feb 2015 18:28:39 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/40.0.2214.111 Safari/537.36 |
Update of bug #41273 (project make):
Operating System: MS Windows => Any
Triage Status: None => Medium Effort
Summary: wildcard function does not return newly created file
=> Directory cache causes issues with wildcard, etc.
_______________________________________________________
Follow-up Comment #2:
For other issues with caching see bug #14617, bug #443, bug #21231 as well as
http://lists.gnu.org/archive/html/help-make/2015-02/msg00010.html and various
other email threads and SO questions...
We need to either find a way to keep all or most of the benefits of the cache
without causing these problems (maybe find a better way to invalidate the
cache?), or else allow the user to disable it when they want to write
"questionable" makefiles that assume no caching.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?41273>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug #41273] Directory cache causes issues with wildcard, etc.,
Paul D. Smith <=