eden-emu/mbedtls
15
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Minor documentation fixes

Browse source 
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
Gilles Peskine 2021-01-19 21:19:02 +01:00
parent 1cc6a8ea15
commit 2991b5f6c0
3 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
tests/scripts/check-python-files.sh
View file

@ -29,7 +29,8 @@ else
fi
can_pylint () {
# Pylint 1.5.2 from Ubuntu 16.04 is too old.
# Pylint 1.5.2 from Ubuntu 16.04 is too old:
# E: 34, 0: Unable to import 'mbedtls_dev' (import-error)
# Pylint 1.8.3 from Ubuntu 18.04 passed on the first commit containing this line.
$PYTHON -m pylint 2>/dev/null --version | awk '
BEGIN {status = 1}
@ -45,7 +46,7 @@ can_pylint () {
can_mypy () {
# Just check that mypy is present and looks sane. I don't know what
# minimum version is required. The check is not just "type mypy"
# becaues that passes if a mypy exists but is not installed for the current
# because that passes if a mypy exists but is not installed for the current
# python version.
mypy --version 2>/dev/null >/dev/null
}