Merge pull request #1071 from antiagainst/ninja-make
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Tue, 26 Sep 2017 06:08:30 +0000 (00:08 -0600)
committerGitHub <noreply@github.com>
Tue, 26 Sep 2017 06:08:30 +0000 (00:08 -0600)
Travis: use make instead of ninja


Trivial merge