Btw, remember that this bug isn't only about make phpcheck, but about make check, which doesn't run successfully.
Btw, remember that this bug isn't only about make phpcheck, but about make check, which doesn't run successfully.