diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/utils.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci/utils.py b/ci/utils.py index 777535516..dc1db7131 100644 --- a/ci/utils.py +++ b/ci/utils.py @@ -4,7 +4,8 @@ DIRS = ['audio', 'generic', 'net', 'text', 'utils', 'video'] # Plugins whose name is prefixed by 'rs' RS_PREFIXED = ['audiofx', 'closedcaption', 'dav1d', 'file', 'json', 'onvif', 'regex', 'webp'] -OVERRIDE = {'wrap': 'rstextwrap', 'flavors': 'rsflv', 'ahead': 'textahead'} +OVERRIDE = {'wrap': 'rstextwrap', 'flavors': 'rsflv', + 'ahead': 'textahead', 'tracers': 'rstracers'} def iterate_plugins(): |