diff options
author | Janne Grunau <janne-gh@jannau.net> | 2018-11-12 20:57:24 +0100 |
---|---|---|
committer | Max Moroz <dor3s1@gmail.com> | 2018-11-12 11:57:24 -0800 |
commit | 54f8203588076ac4581315a88ec7a79913259583 (patch) | |
tree | a4ec19a9210feb6fa1a16c4dba86f6420971bb3e | |
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
-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 |