Closed smspillaz closed 10 years ago
These were (inconsistently) not being set as opposed to HAVE_THREAD_SANITIZER and HAVE_UNDEFINED_BEHAVIOUR_SANITIZER
These were (inconsistently) not being set as opposed to HAVE_THREAD_SANITIZER and HAVE_UNDEFINED_BEHAVIOUR_SANITIZER