mbedtls/tests/scripts/check-python-files.sh

#! /usr/bin/env sh

# This file is part of Mbed TLS (https://tls.mbed.org)
#
# Copyright (c) 2018, Arm Limited, All Rights Reserved
#
# Purpose:
#
# Run 'pylint' on Python files for programming errors and helps enforcing
# PEP8 coding standards.

if type python3 >/dev/null 2>/dev/null; then
    PYTHON=python3
else
    PYTHON=python
fi

$PYTHON -m pylint -j 2 scripts/*.py tests/scripts/*.py
Pylint tests in all.sh 2018-07-06 01:41:08 +02:00			`#! /usr/bin/env sh`

Style fixes 2018-07-18 18:48:37 +02:00			`# This file is part of Mbed TLS (https://tls.mbed.org)`
Pylint tests in all.sh 2018-07-06 01:41:08 +02:00			`#`
Style fixes 2018-07-18 18:48:37 +02:00			`# Copyright (c) 2018, Arm Limited, All Rights Reserved`
Pylint tests in all.sh 2018-07-06 01:41:08 +02:00			`#`
Style fixes 2018-07-18 18:48:37 +02:00			`# Purpose:`
Pylint tests in all.sh 2018-07-06 01:41:08 +02:00			`#`
			`# Run 'pylint' on Python files for programming errors and helps enforcing`
			`# PEP8 coding standards.`

Make sure to use a Python 3 pylint On some systems, such as Ubuntu up to 19.04, `pylint` is for Python 2 and `pylint3` is for Python 3, so we should not use `pylint` even if it's available. Use the Python module instead of the trivial shell wrapper. This way we can make sure to use the correct Python version. Fix #3111 Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com> 2020-03-24 15:07:57 +01:00			`if type python3 >/dev/null 2>/dev/null; then`
			`PYTHON=python3`
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> 2020-03-16 12:30:46 +01:00			`else`
Make sure to use a Python 3 pylint On some systems, such as Ubuntu up to 19.04, `pylint` is for Python 2 and `pylint3` is for Python 3, so we should not use `pylint` even if it's available. Use the Python module instead of the trivial shell wrapper. This way we can make sure to use the correct Python version. Fix #3111 Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com> 2020-03-24 15:07:57 +01:00			`PYTHON=python`
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> 2020-03-16 12:30:46 +01:00			`fi`

Make sure to use a Python 3 pylint On some systems, such as Ubuntu up to 19.04, `pylint` is for Python 2 and `pylint3` is for Python 3, so we should not use `pylint` even if it's available. Use the Python module instead of the trivial shell wrapper. This way we can make sure to use the correct Python version. Fix #3111 Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com> 2020-03-24 15:07:57 +01:00			`$PYTHON -m pylint -j 2 scripts/.py tests/scripts/.py`