summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorAndrew Morrow <acm@mongodb.com>2014-11-18 10:45:28 -0500
committerAndrew Morrow <acm@mongodb.com>2014-11-18 12:57:17 -0500
commiteb1dc0918fc0a964ed7dbff31a0b815d0081e14c (patch)
tree75f769eae31f18e0b79c0c3b8b307acc386d81f9 /etc
parenteedc5e87ff9d33a6976de1fd1f606ab7435069d5 (diff)
downloadmongo-eb1dc0918fc0a964ed7dbff31a0b815d0081e14c.tar.gz
SERVER-16221 Don't instrument third_party when using ubsan
Diffstat (limited to 'etc')
-rw-r--r--etc/ubsan.blacklist1
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/*