diff options
author | Gilles Peskine <Gilles.Peskine@arm.com> | 2020-04-25 21:15:07 +0200 |
---|---|---|
committer | Gilles Peskine <Gilles.Peskine@arm.com> | 2020-04-25 22:39:26 +0200 |
commit | a38f3685dc09fa765040e00d431b84a67baeb465 (patch) | |
tree | b84bdd6f3817b9ef0054e9ddc929600dbe46683d /.travis.yml | |
parent | b49a4576ae8f92705b7027cdbf3fe607775efc78 (diff) | |
download | mbedtls-a38f3685dc09fa765040e00d431b84a67baeb465.zip mbedtls-a38f3685dc09fa765040e00d431b84a67baeb465.tar.gz mbedtls-a38f3685dc09fa765040e00d431b84a67baeb465.tar.bz2 |
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>
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 2463a7e..113ef19 100644 --- a/.travis.yml +++ b/.travis.yml @@ -11,6 +11,10 @@ jobs: packages: - doxygen - graphviz + language: python # Needed to get pip for Python 3 + python: 3.5 # version from Ubuntu 16.04 + install: + - pip install pylint==2.4.4 script: - tests/scripts/recursion.pl library/*.c - tests/scripts/check-generated-files.sh @@ -18,6 +22,7 @@ jobs: - tests/scripts/check-names.sh - tests/scripts/check-files.py - tests/scripts/doxygen.sh + - tests/scripts/check-python-files.sh - name: default configuration script: |