Gilles Peskine 7b9fcdc2d5 Fix pylint errors going uncaught ... Make check-python-files.sh run pylint on all *.py files (in directories where they are known to be present), rather than list files explicitly. Fix a bug whereby the return status of check-python-files.sh was only based on the last file passing, i.e. errors in other files were effectively ignored. Make check-python-files.sh run pylint unconditionally. Since pylint3 is not critical, make all.sh to skip running check-python-files.sh if pylint3 is not available.		2019-02-25 21:42:32 +01:00
..
.jenkins
data_files	Merge remote-tracking branch 'origin/pr/2040' into mbedtls-2.16	2019-01-30 16:17:22 +00:00
git-scripts
scripts	Fix pylint errors going uncaught	2019-02-25 21:42:32 +01:00
suites	Merge remote-tracking branch 'origin/pr/2040' into mbedtls-2.16	2019-01-30 16:17:22 +00:00
.gitignore
CMakeLists.txt	Merge remote-tracking branch 'public/pr/2297' into development	2018-12-20 12:16:29 +00:00
compat.sh
Descriptions.txt
Makefile
ssl-opt.sh	all.sh: don't insist on Linux; always run Valgrind	2019-01-09 22:36:33 +01:00