diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-04-24 20:49:15 +0200 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-04-26 08:16:39 -0400 |
commit | ae0ceefc2f432bc1068889fcff53d929eca8a3c4 (patch) | |
tree | 1762d9e46d9f02cedfc4919fb77ad2fd76451da2 /catalog | |
parent | dfd9cf7f0b257d38f5527989dd9315e767fbe41b (diff) |
build-sys: add configure switch for -fsanitize=undefined
--enable-undefined-sanitizer mirrors --enable-memory-sanitizer.
Diffstat (limited to 'catalog')
0 files changed, 0 insertions, 0 deletions