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 /src/run/Makefile | |
| parent | dfd9cf7f0b257d38f5527989dd9315e767fbe41b (diff) | |
build-sys: add configure switch for -fsanitize=undefined
--enable-undefined-sanitizer mirrors --enable-memory-sanitizer.
Diffstat (limited to 'src/run/Makefile')
0 files changed, 0 insertions, 0 deletions