Follow-up Comment #3, bug #58734 (project make): > directory caching
... which I was convinced was flawed in: https://lists.gnu.org/archive/html/bug-make/2016-10/msg00019.html I bet that's not the problem here, but, until we see the example Dmitry requested... _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?58734> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
