Mesa (master): docs: add link to Coverity on developer utilities page

[Brian Paul]

Module: Mesa
Branch: master
Commit: 5a5efbf804eb848553b85f498bf4c4340d748c3d
URL:    http://cgit.freedesktop.org/mesa/mesa/commit/?id=5a5efbf804eb848553b85f498bf4c4340d748c3d

Author: Brian Paul <brianp at vmware.com>
Date:   Fri Nov 13 08:01:29 2015 -0700

docs: add link to Coverity on developer utilities page

Signed-off-by: Brian Paul <brianp at vmware.com>

---

 docs/utilities.html |    4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/utilities.html b/docs/utilities.html
index 9541d30..5c0a4fd 100644
--- a/docs/utilities.html
+++ b/docs/utilities.html
@@ -30,6 +30,10 @@
   <dt><a href="http://www.valgrind.org">Valgrind</a></dt>
   <dd>is a very useful tool for tracking down
   memory-related problems in your code.</dd>
+
+  <dt><a href="http:scan.coverity.com/projects/mesa">Coverity</a><dt>
+  <dd>provides static code analysis of Mesa.  If you create an account
+  you can see the results and try to fix outstanding issues.</dd>
 </dl>
 
 </div>