On 6/26/22 13:37, Eli Zaretskii wrote:
> I'm reluctant to make changes in the build scripts on the release
> branch at this point.

OK, I installed a couple of notes in etc/PROBLEMS instead; see attached. 
One is for the problems with "make clean" and "make check". The other is 
for a build failure I noticed while doing all this.