This reverts ebd006f and should fix #11325 after boehm_gc was fixed.
ebd006f
@@ -115,7 +115,7 @@ BUILD()
# No MADV_DONTNEED, yet
sed --in-place '/HAVE_SYS_MMAN_H/d' config.h
make -j1
make $jobArgs
}
INSTALL()
The note is not visible to the blocked user.