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


Trivial merge
git clone https://git.99rst.org/PROJECT