tree b84bdd6f3817b9ef0054e9ddc929600dbe46683d
parent b49a4576ae8f92705b7027cdbf3fe607775efc78
author Gilles Peskine <Gilles.Peskine@arm.com> 1587842107 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1587847166 +0200

Travis: run Pylint

Declare an explicit Python version. Pick 3.5 which is the default
version on Ubuntu 16.04. This is necessary on Travis to have a working
pip for Python 3.

Install Pylint 2.4.4. There's nothing special about this version, it's
just the latest version.

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