diff options
| author | Eric Milkie <milkie@10gen.com> | 2017-08-14 08:59:43 -0400 |
|---|---|---|
| committer | Eric Milkie <milkie@10gen.com> | 2017-08-14 09:58:20 -0400 |
| commit | 0f64c416ba3a842ec55cb4f8988626b23aab9cd7 (patch) | |
| tree | d47080a365f1f5ef55fa25670901e7121763a49b /etc | |
| parent | c05821c1fe7d316b614c827b2d7720201e5618c4 (diff) | |
| download | mongo-0f64c416ba3a842ec55cb4f8988626b23aab9cd7.tar.gz | |
SERVER-30490 compile rocksdb with USE_RTTI=1
Diffstat (limited to 'etc')
| -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 6177a86607a..93be139a4ec 100644 --- a/etc/evergreen.yml +++ b/etc/evergreen.yml @@ -364,7 +364,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 cdriver" : |