tree 1bc8b33e322a586383e8a3f31d32531351916565
parent acfa36890c80971f915e46e90c2176185161d5ef
author Simon Butcher <simon.butcher@arm.com> 1584358246 +0000
committer Simon Butcher <simon.butcher@arm.com> 1584366786 +0000

Change the use of pylint to optionally use pylint3

Pylint when installed as a distro package can be installed as pylint3, whilst as
a PEP egg, it can be installed as pylint.

This commit changes the scripts to first use pylint if installed, and optionally
look for pylint3 if not installed. This is to allow a preference for the PEP
version over the distro version, assuming the PEP one is more likely to be
the correct one.

Signed-off-by: Simon Butcher <simon.butcher@arm.com>