El 29/9/24 a las 16:16, Aurelien Jarno escribió:
This is definitely a cache issue in make, the following upstream commit
fixes the issue:
https://git.savannah.gnu.org/cgit/make.git/commit/?id=9e2fa24649b870d79e2582f46e851fb34daa4762
Ok, but I tried building with make 4.4.1 using --shuffle option, and I got the
same failure.
Since make 4.4.1 includes the above commit (at least that's what the NEWS file
says),
I still think there is *also* a Makefile bug somewhere, unless I'm missing
anything.
(So, I would have used clone instead of reassign).
Thanks.
