6 commits

Author	SHA1	Message	Date
Joe Harrison	7d157606ee	Use /usr/bin/env in shebangs ... Stop assuming that bash is in /bin, and that perl and python are in /usr/bin, etc. Instead, use env command to find these commands in the path.	2020-02-18 00:00:24 +00:00
Philippe Teuwen	ead825720d	covsubmit: avoid aborting when previous data are not present	2019-11-17 11:45:20 +01:00
Philippe Teuwen	d43460ab9f	cov submit: delete old logs	2019-10-10 00:30:14 +02:00
Philippe Teuwen	020141726e	cov: use incremental pseudoversion	2019-10-09 17:53:45 +02:00
Philippe Teuwen	2b42e79a2f	cov: add git ref	2019-10-09 16:54:09 +02:00
Philippe Teuwen	89dd574f53	new coverity scripts	2019-10-09 15:29:48 +02:00