log TOOLS/coverity.sh @ 36802:621b61818a0f

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.