Merge pull request #180 from antonblanchard/Makefile-rework
authorAnton Blanchard <anton@linux.ibm.com>
Thu, 21 May 2020 02:29:55 +0000 (12:29 +1000)
committerGitHub <noreply@github.com>
Thu, 21 May 2020 02:29:55 +0000 (12:29 +1000)
Makefile rework


Trivial merge