Merge pull request #9123 from neheb/make
authorRosen Penev <rosenp@gmail.com>
Mon, 3 Jun 2019 16:20:27 +0000 (09:20 -0700)
committerGitHub <noreply@github.com>
Mon, 3 Jun 2019 16:20:27 +0000 (09:20 -0700)
make: Do not use libelf


Trivial merge