Merge pull request #10210 from jefferyto/use-default-PKG_BUILD_DIR
authorRosen Penev <rosenp@gmail.com>
Sat, 12 Oct 2019 22:01:02 +0000 (15:01 -0700)
committerGitHub <noreply@github.com>
Sat, 12 Oct 2019 22:01:02 +0000 (15:01 -0700)
treewide: Use default PKG_BUILD_DIR when possible


Trivial merge