log TOOLS/coverity.sh @ 36660:7fd255e0db1b

age author description
Mon, 20 Jan 2014 22:32:41 +0000 reimar coverity.sh: Avoid submitting broken builds to coverity.
Thu, 09 May 2013 08:07:30 +0000 reimar Add script that submits a Coverity scan in an automated way.