ARMmbed/yotta — pull request #106 by bogdanm (2014-12-09 12:09:17+00:00)
Title: Use 'ninja' by default on Windows

'ninja' is much better supported (and much faster) than 'make' in
Windows, so make it the default build method for this platform.