Add configure option to enable MemorySanitizer
authorFabian Keil <fk@fabiankeil.de>
Sat, 6 Feb 2021 19:19:10 +0000 (20:19 +0100)
committerFabian Keil <fk@fabiankeil.de>
Sun, 21 Mar 2021 06:58:53 +0000 (07:58 +0100)
commit23d88f76d603f8059e6075a7d8987f449aca3992
tree809b9e3d5287922758c6bc514208e9424a1f32e9
parent22c27e92a8889ef9f6ea2099db2d71c1befeab68
Add configure option to enable MemorySanitizer
configure.in