Error Message: Step make-check fails on (...)ΒΆ

When Dr. Jenkins raises a concern with a commit, (...)

To reproduce the issue, see Docker Images to fire up a Docker container of your own, with an interactive shell.

Normally, the script / is executed, so you can reproduce this as follows:

$ COMMIT=<id> /

It should output the commands it issues.