diff options
| author | Mohammad Dashti <mdashti@gmail.com> | 2021-12-01 18:53:05 +0000 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-12-01 19:32:44 +0000 |
| commit | 44eaf87f83dddbbd2b082f651cbb324229c7a8d0 (patch) | |
| tree | a486acc94d99093891f2c09e6e0888cd736c2bf9 /etc/ubsan.denylist | |
| parent | a309ad8c22b521c985912748e3c942f3207e75a3 (diff) | |
| download | mongo-44eaf87f83dddbbd2b082f651cbb324229c7a8d0.tar.gz | |
SERVER-61008 Rename `mozjs-60` directory to `mozjs`
Diffstat (limited to 'etc/ubsan.denylist')
| -rw-r--r-- | etc/ubsan.denylist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/ubsan.denylist b/etc/ubsan.denylist index fb4451599ec..0b629d94785 100644 --- a/etc/ubsan.denylist +++ b/etc/ubsan.denylist @@ -5,7 +5,7 @@ src:src/third_party/boost-*/* src:src/third_party/gperftools-*/* src:src/third_party/icu4c-*/* src:src/third_party/libstemmer_c/* -src:src/third_party/mozjs-*/* +src:src/third_party/mozjs/* src:src/third_party/murmurhash3/* src:src/third_party/pcre-*/* src:src/third_party/s2/* |