log TOOLS/coverity.sh @ 37171:29802bb119f6

age author description
Sun, 06 Apr 2014 17:17:42 +0000 reimar Add example/current default Coverity compile options.
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.