diff options
author | 2018-02-12 18:52:09 +0100 | |
---|---|---|
committer | 2018-02-13 17:45:29 -0800 | |
commit | 2cce782527ca892124ec51dee417b9c565360178 (patch) | |
tree | 30d47bd6082bcafeb8a6a2d92da881d2e931e973 /waftools/dependencies.py | |
parent | 4107a8be6ccd843378414704e69225168e3494f9 (diff) |
filter: adjust root log prefix
Avoids that the audio decoder shows up with a "[root/ad]" log prefix.
This is an annoying consequence of mp_log_new(): if a log parent doesn't
have a prefix with "!", it'll add the prefix to all mp_logs created from
it. This should probably be fixed in the mp_log code itself, but doing
so would be a big deal as we'd have to make sure all the other log
prefixes are what we want. So work it around for now.
Diffstat (limited to 'waftools/dependencies.py')
0 files changed, 0 insertions, 0 deletions