On 15/05/2023 16:08, Miroslav Lachman wrote:
So is there some bug in "make delete-old"?Should I delete /usb/bin/ld on all machines?
This fixed the problem: # rm /usr/bin/ld # ln -s /usr/bin/ld.lld /usr/bin/ld But now I need to fix it on all machines. Thank you so much! Kind regards Miroslav Lachman
