Joost VandeVondele 7e897a64f2 Remove race suppression. ...

Pull #1134 fixed another race, so that can be removed from the thread sanitizer suppressions.

No functional change.

Closes #1150

2017-06-28 17:06:52 -07:00

..

instrumented.sh

Remove race suppression.

2017-06-28 17:06:52 -07:00

perft.sh

New shell scripts for testing, used for travis CI (#957)

2017-01-09 10:30:57 +01:00

reprosearch.sh

New shell scripts for testing, used for travis CI (#957)

2017-01-09 10:30:57 +01:00

signature.sh

Fix previous patch for OS X (#961)

2017-01-09 15:37:09 +01:00