<div dir="ltr"><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div>The file doc\installation.xml has about 700 lines of output from make check.  Do we need all that?  In addition, the verbiage is a few years old (PostgresQL-12dev) and depending on the build environment  you will get different messages even with a clean build.</div></div></div>