summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
authorwm4 <wm4@nowhere>2019-11-08 00:43:46 +0100
committerwm4 <wm4@nowhere>2019-11-08 00:43:46 +0100
commit53b7a10f5453083390e65bdab5f1e642c37d89a2 (patch)
treee3133852365244eab2e3f840707a51e7190e47dd /wscript
parent640b8532aaa26285fd1bcfaaa235f85f5a774e7b (diff)
downloadmpv-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--wscript7
1 files changed, 7 insertions, 0 deletions
diff --git a/wscript b/wscript
index 7b5c148df9..24e30b2613 100644
--- a/wscript
+++ b/wscript
@@ -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')