[PATCH] tools: fix ninja build dependency

[Bjørn Mork]

Martin Blumenstingl <martin.blumenstingl at googlemail.com> writes:

> Felix pushed a fix like 1.5 hours ago: [0]
> to me your patch looks identical to Felix'

Great! That's the result of being interrupted between preparing a patch
and sending it.  I should have pulled again.  Nice timing :-)

Anyway, happy to see it fixed. And to see us both choosing the exact
same place to put this.


Bjørn