Thanks for the suggestion but it didn't seem to make any difference. I saw on
their git repo that master had the changes in the patch you linked to, so I
built it myself locally. However I still get the same error in the same place.
This is what I did
cd xxx
git clone https://git.musl-libc.org/git/musl
cd musl
./configure
make
sudo make install
Then reran the build
ninja clean
ninja
Or have I got this wrong and the patch needs to be reversed because it came
from a branch somewhere?
Will keep digging. Thanks,
Smiley
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
