Merge pull request #1030 from Kmanfi/makefile_osx
authorClifford Wolf <clifford@clifford.at>
Mon, 27 May 2019 11:22:51 +0000 (13:22 +0200)
committerGitHub <noreply@github.com>
Mon, 27 May 2019 11:22:51 +0000 (13:22 +0200)
OS X related Makefile fixes.


Trivial merge