You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
build: Add options to select sanitizers in configure.py
We are going to add ThreadSanitizer that can't be used together with
AddressSanitizer. We want to choose which sanitizers to use.
Sanitizers can be specified as semicolon separated list:
./configure.py --sanitizers address;undefined_behavior
Specified sanitizers are passed to Seastar_SANITIZERS list.
Enabling sanitizers is consistently with Seastar_SANITIZE option.
0 commit comments