tree 59b7fdccf812ececc6e4418fbca57f4b093f1591
parent 6d82a7ef9f1b27795712ddfa1c6cdf6716c2f388
author Gilles Peskine <Gilles.Peskine@arm.com> 1611088925 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1611088925 +0100

Use Python to check the version of pylint

This reduces dependencies, doesn't require maintainers to know awk,
and makes the version parsing more robust.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>