|Subject:||Re: Simpler example of pathological behavior of directory caching|
|Date:||Thu, 6 Oct 2016 11:47:02 -0700|
You should include the version of GNU make that you're using; my
version works as expected:
$ make --version
GNU Make 4.2.1
Because not all systems have the same rules for directory mtime as
POSIX does, so that's not a reliable/portable indicator.
There's no question the caching needs to be improved.
|[Prev in Thread]||Current Thread||[Next in Thread]|