Merge pull request #13651 from neheb/build
authorRosen Penev <redacted>
Tue, 13 Oct 2020 22:24:35 +0000 (15:24 -0700)
committerGitHub <redacted>
Tue, 13 Oct 2020 22:24:35 +0000 (15:24 -0700)
treewide: add missing BUILDONLY


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