Hi Rafael, Tested OK on amd64.
Take care. Ricardo On 9/3/20 6:10 AM, Rafael Sadowski wrote:
Simple patch to update ninja to 1.10.1 but the main bugfix sounds interesting. Please take a look into the Changlog: https://groups.google.com/g/ninja-build/c/QQM54eAhrjU/m/q5zn_zTlAQAJ?pli=1
This link, sadly, requires login into one's Google account (which I don't have). Alternative link: https://github.com/ninja-build/ninja/compare/v1.10.0...00968321d6ace10b6798855cab7620dc6a5620fd
