diff options
| author | Andrew Morrow <acm@mongodb.com> | 2014-11-18 10:45:28 -0500 |
|---|---|---|
| committer | Andrew Morrow <acm@mongodb.com> | 2014-11-18 12:57:17 -0500 |
| commit | eb1dc0918fc0a964ed7dbff31a0b815d0081e14c (patch) | |
| tree | 75f769eae31f18e0b79c0c3b8b307acc386d81f9 /etc/ubsan.blacklist | |
| parent | eedc5e87ff9d33a6976de1fd1f606ab7435069d5 (diff) | |
| download | mongo-eb1dc0918fc0a964ed7dbff31a0b815d0081e14c.tar.gz | |
SERVER-16221 Don't instrument third_party when using ubsan
Diffstat (limited to 'etc/ubsan.blacklist')
| -rw-r--r-- | etc/ubsan.blacklist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/ubsan.blacklist b/etc/ubsan.blacklist index e69de29bb2d..abd687e1564 100644 --- a/etc/ubsan.blacklist +++ b/etc/ubsan.blacklist @@ -0,0 +1 @@ +src:src/third_party/* |