4 commits

Author	SHA1	Message	Date
Patryk Obara	3be0409d25	Update copyright line in several scripts ... Use the exact formatting suggested in COPYING file. This change is basically a pretext to trigger a new clean build in order to check if Coverity is capable of accepting new builds for analysis finally.	2020-01-03 17:15:25 +01:00
Patryk Obara	5b99e786f0	Colorize linter output	2019-11-16 02:27:24 +01:00
Patryk Obara	2b386fbf52	List files before running linters ... Makes it more readable for human consumption. Also, redirect initial output to stderr to fix e.g. output to json file.	2019-11-16 02:27:24 +01:00
Patryk Obara	2bfae63f1f	Run fast script linters before heavier analysis ... Includes two small scripts: verify-bash.sh for running shellcheck, and verify-python.sh for running pylint. .pylint rc files is a default configuration file generated by pylint 2.3.1, with one change (min-similarity-lines changed from 4 to 10).	2019-11-14 20:33:36 +01:00