Friday, September 04, 2020

Re: UPDATE: devel/ninja

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

No comments:

Post a Comment