mirror-games/glest-source
1
0
Fork 0
mirror of https://github.com/glest/glest-source.git synced 2025-08-31 19:51:44 +02:00
Code Issues Projects Releases Wiki Activity

README.md:remove coverity badge

Browse Source 
Coverity's broken, unable to access "defects" page or dashboard, support
non-responsive, documentation out of date, doesn't provide an option to
remove project

https://stackoverflow.com/questions/34520441/how-to-remove-a-project-from-coverity-scan

[skip ci]
This commit is contained in:
andy5995
2018-10-15 02:52:29 -05:00
parent c52279233e
commit 03b023477c
2 changed files with 0 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
mk/linux/coverity-scan.txt
View File

@@ -1,8 +0,0 @@
Coverity builds won't need to be submitted very often.
The instructions are at https://scan.coverity.com/download?tab=cxx
The main commands to run after the prerequisites are met are:
cov-build --dir cov-int make
tar czf zetaglest.tgz cov-build