diff options
author | Eric Milkie <milkie@10gen.com> | 2017-08-14 08:59:43 -0400 |
---|---|---|
committer | Eric Milkie <milkie@10gen.com> | 2017-08-25 14:53:25 -0400 |
commit | be73ffe19fd17a0731f815b1d54e67f2230d1908 (patch) | |
tree | 3fa00ac68c6880106b86574aad209af03065fa69 | |
parent | 008ec1f3696893694b2a3f9d96915bc55854774f (diff) | |
download | mongo-be73ffe19fd17a0731f815b1d54e67f2230d1908.tar.gz |
SERVER-30490 compile rocksdb with USE_RTTI=1
(cherry picked from commit 0f64c416ba3a842ec55cb4f8988626b23aab9cd7)
-rw-r--r-- | etc/evergreen.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/evergreen.yml b/etc/evergreen.yml index 4b45f1121f8..0dead466c97 100644 --- a/etc/evergreen.yml +++ b/etc/evergreen.yml @@ -375,7 +375,7 @@ functions: rm -rf rocksdb git clone https://github.com/facebook/rocksdb.git cd rocksdb - make CC=/opt/mongodbtoolchain/v2/bin/gcc CXX=/opt/mongodbtoolchain/v2/bin/g++ static_lib + make USE_RTTI=1 CC=/opt/mongodbtoolchain/v2/bin/gcc CXX=/opt/mongodbtoolchain/v2/bin/g++ static_lib fi "build new tools" : |