diff options
author | Bruce Yinhe <[email protected]> | 2014-08-08 15:44:59 +0200 |
---|---|---|
committer | Bruce Yinhe <[email protected]> | 2014-08-08 15:45:07 +0200 |
commit | ae4ba88c8b39fc340fff8f3f3fea2628bf8b292e (patch) | |
tree | 244b7c68c2cdd84f0b8e01277db36f80bddaa64c /lib/reltool | |
parent | e189bae81fbc873d3349b9dec12ef234daf9d8ad (diff) | |
parent | cc894a72098322e12700e543297dc333b11951de (diff) | |
download | otp-ae4ba88c8b39fc340fff8f3f3fea2628bf8b292e.tar.gz otp-ae4ba88c8b39fc340fff8f3f3fea2628bf8b292e.tar.bz2 otp-ae4ba88c8b39fc340fff8f3f3fea2628bf8b292e.zip |
Merge branch 'tuncer/sanitizers' into maint
OTP-12081
* tuncer/sanitizers:
Implement --enable-sanitizers[=sanitizers]
Diffstat (limited to 'lib/reltool')
0 files changed, 0 insertions, 0 deletions