bug-make
[Top][All Lists]
Advanced

[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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]