Simon Butcher 47f728718f 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 13:53:06 +00:00
..
.jenkins	Add Jenkinsfile for PR job	2018-10-19 15:25:10 +01:00
configs	Add a test component with malloc(0) returning NULL	2019-09-30 13:58:12 +02:00
data_files	Merge remote-tracking branch 'upstream-restricted/pr/503' into mbedtls-2.16-restricted	2019-08-14 16:39:24 +02:00
git-scripts	Add doxygen.sh script to git hooks	2018-06-27 17:41:00 +03:00
scripts	Change the use of pylint to optionally use pylint3	2020-03-16 13:53:06 +00:00
suites	Bump version to Mbed TLS 2.16.5	2020-02-19 12:03:00 +00:00
.gitignore	Move some ignore patterns to subdirectories	2015-01-28 15:33:23 +00:00
CMakeLists.txt	Merge remote-tracking branch 'origin/pr/2293' into mbedtls-2.16	2019-03-05 16:31:02 +00:00
compat.sh	Exclude DTLS 1.2 only with older OpenSSL	2019-08-13 11:44:04 +02:00
Descriptions.txt	Add selftest program to the list of tests	2014-04-04 16:33:01 +02:00
Makefile	Merge remote-tracking branch 'origin/pr/2053' into mbedtls-2.16	2019-06-21 15:59:16 +01:00
ssl-opt.sh	Fix possible close_notify/ClientHello confusion	2020-02-26 09:33:05 +01:00