On 2 August 2014 05:27, Winston Smith wrote: >> As a workaround you can configure with --disable-libsanitizer > > I wwas actually wondering if there is such a switch, but the configure.html in > INSTALL does not give a hint. I'll give that a try. Are there any drawbacks > by not having libsanitizer? I.e., what can I NOT do if I don't have that lib > installed? You can't use the -fsanitize=xxx options, that's all. The sanitizers are useful, but if you don't know what they do then you're not going to notice their absence! :-)
