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/kernel/Makefile | |
| 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/kernel/Makefile')
0 files changed, 0 insertions, 0 deletions