Re: [PATCH 7/9] Makefile: Add a way to check for pylint errors