Thanks a lot for reproducing the issue and for explaining its root cause. > I've long considered it would be a good idea to allow makefiles to disable > the cache if they wanted to, but such a capability hasn't been implemented.
Wouldn’t it be enough to just invalidate the cache before calling $(wildcard )? _______________________________________________ Help-make mailing list Help-make@gnu.org https://lists.gnu.org/mailman/listinfo/help-make
