diff options
| author | wm4 <wm4@nowhere> | 2014-11-21 01:46:25 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2014-11-21 01:46:25 +0100 |
| commit | e627168233970e3d307bed09bd4cc11fac0aaa9a (patch) | |
| tree | 6f512cb2df34eeebd768fc4ee4ef41959e6197ff /wscript_build.py | |
| parent | 00626817c8ac4e91f95141fdc7f8cf39c38f820d (diff) | |
| download | mpv-e627168233970e3d307bed09bd4cc11fac0aaa9a.tar.bz2 mpv-e627168233970e3d307bed09bd4cc11fac0aaa9a.tar.xz | |
travis: attempt to add Coverity integration
Not sure if this will work. Probably not, because it seems Coverity will
be missing some required dependencies.
Diffstat (limited to 'wscript_build.py')
0 files changed, 0 insertions, 0 deletions