56e99d623d
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>
18 lines
393 B
Bash
Executable file
18 lines
393 B
Bash
Executable file
#! /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
|