diff options
| author | Brian Paul <brianp@vmware.com> | 2015-11-13 08:01:29 -0700 |
|---|---|---|
| committer | Brian Paul <brianp@vmware.com> | 2015-11-13 08:02:19 -0700 |
| commit | 5a5efbf804eb848553b85f498bf4c4340d748c3d (patch) | |
| tree | 3de99fbbe9b3eec1bf4ab44a614d091c3a71f1d5 /docs/utilities.html | |
| parent | 00046393f80f2a13b21fce647f35e1a979f41d7d (diff) | |
docs: add link to Coverity on developer utilities page
Signed-off-by: Brian Paul <brianp@vmware.com>
Diffstat (limited to 'docs/utilities.html')
| -rw-r--r-- | docs/utilities.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/utilities.html b/docs/utilities.html index 9541d3082f..5c0a4fdcd2 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> |