diff options
author | wm4 <wm4@nowhere> | 2019-11-08 00:43:46 +0100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2019-11-08 00:43:46 +0100 |
commit | 53b7a10f5453083390e65bdab5f1e642c37d89a2 (patch) | |
tree | e3133852365244eab2e3f840707a51e7190e47dd /wscript | |
parent | 640b8532aaa26285fd1bcfaaa235f85f5a774e7b (diff) | |
download | mpv-53b7a10f5453083390e65bdab5f1e642c37d89a2.tar.bz2 mpv-53b7a10f5453083390e65bdab5f1e642c37d89a2.tar.xz |
wscript: add --enable-ta-leak-report option
Kind of more convenient because I'm lazy.
Diffstat (limited to 'wscript')
-rw-r--r-- | wscript | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -81,6 +81,13 @@ build_options = [ 'default': 'disable', 'func': check_true }, { + # Reminder: normally always built, but enabled by MPV_LEAK_REPORT. + # Building it can be disabled only by defining NDEBUG through CFLAGS. + 'name': '--ta-leak-report', + 'desc': 'enable ta leak report by default (development only)', + 'default': 'disable', + 'func': check_true + }, { 'name': '--manpage-build', 'desc': 'manpage generation', 'func': check_ctx_vars('RST2MAN') |