Merge pull request #2085 from rubenk/non-recursive-make
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Wed, 21 Dec 2016 17:56:48 +0000 (18:56 +0100)
committerGitHub <noreply@github.com>
Wed, 21 Dec 2016 17:56:48 +0000 (18:56 +0100)
Switch to non-recursive make


Trivial merge