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
..
data_files	windows: Fix Release x64 configuration	2019-06-20 16:34:22 +01:00
abi_check.py	Change worktree_rev to HEAD for rev-parse	2019-07-25 14:38:55 +01:00
apidoc_full.sh
bump_version.sh	Add gen_query_config.pl to check-gen-files and bump_version	2019-02-07 10:32:31 +00:00
config.pl	config.pl full: exclude MBEDTLS_CTR_DRBG_USE_128_BIT_KEY	2019-10-08 15:19:25 +02:00
ecc-heap.sh
find-mem-leak.cocci
footprint.sh
generate_errors.pl	Add platform error codes	2018-08-29 18:53:20 +03:00
generate_features.pl
generate_query_config.pl	Update query_config.c with new macros	2019-02-07 10:32:31 +00:00
generate_visualc_files.pl	Use \r instead of 0xD in generate_visualc_files.pl	2019-02-07 10:32:31 +00:00
massif_max.pl
memory.sh
output_env.sh	Change the use of pylint to optionally use pylint3	2020-03-16 13:53:06 +00:00
rename.pl
rm-calloc-cast.cocci
tmp_ignore_makefiles.sh