diff options
author | 2018-11-12 20:57:24 +0100 | |
---|---|---|
committer | 2018-11-12 11:57:24 -0800 | |
commit | 54f8203588076ac4581315a88ec7a79913259583 (patch) | |
tree | a4ec19a9210feb6fa1a16c4dba86f6420971bb3e /projects/dav1d/project.yaml | |
parent | 3a88d49132f154a8787b4ab22b141eaa206d0ac8 (diff) |
[dav1d] remove experimental flag (#1947)
* dav1d/coverage: exclude include/common/dump.h
It includes only functions used during development and is expected to be
unused.
* dav1d: remove experimental flag
Diffstat (limited to 'projects/dav1d/project.yaml')
-rw-r--r-- | projects/dav1d/project.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/dav1d/project.yaml b/projects/dav1d/project.yaml index af05d80c..a58d020e 100644 --- a/projects/dav1d/project.yaml +++ b/projects/dav1d/project.yaml @@ -10,4 +10,4 @@ sanitizers: - address - memory - undefined -experimental: True +coverage_extra_args: -ignore-filename-regex=.*dump.h |