projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5c2a60e a1159ff)
Merge pull request #1053 from ninja-build/configure
authorNico Weber <nicolasweber@gmx.de>
Wed, 18 Nov 2015 05:34:10 +0000 (21:34 -0800)
committerNico Weber <nicolasweber@gmx.de>
Wed, 18 Nov 2015 05:34:10 +0000 (21:34 -0800)
Minor tweaks to the configure script


Trivial merge
Domain: System / Base;