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)
commit43a4db3b3209f497a0ba408aebf8aee385c6262d
treeec503d042f4094ff9f72114a798ae08c2296412a
parent295947714f23935be771c98f1071564d5567d33a
parentc5cfdb069b8c43ea7478ff0fb8c617da52325937
Merge pull request #2085 from rubenk/non-recursive-make

Switch to non-recursive make