El 28/10/23 a las 18:48, Santiago Vila escribió:
Just put it inside your chroot replacing /usr/bin/make.
I forgot, sorry: you will also need this in the environment to enable shuffle: export GNUMAKEFLAGS=--shuffle but for some reason I did not even need that to reproduce the problem. Thanks.