Alexander Haase 4d96db375f Check if ThreadSanitizer is used on x86_64 Linux.
According to the ThreadSanitizer documentation, it is only compatible with 64bit
Linux at the moment.
2016-04-06 19:29:46 +02:00
..