diff options
author | Eric Milkie <milkie@10gen.com> | 2017-08-25 15:25:22 -0400 |
---|---|---|
committer | Eric Milkie <milkie@10gen.com> | 2017-08-25 15:25:22 -0400 |
commit | 0c3ec7beb771cecffda295f8aeea28577b1124a1 (patch) | |
tree | 10c5bab8d169780852a45b39bb39b628af863719 | |
parent | 74602c75a65c6767bb48c555f5800c16df8d7f48 (diff) | |
download | mongo-0c3ec7beb771cecffda295f8aeea28577b1124a1.tar.gz |
SERVER-30490 compile rocksdb with USE_RTTI=1
-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 9bef88f9a0e..ecd9f61c56e 100644 --- a/etc/evergreen.yml +++ b/etc/evergreen.yml @@ -201,7 +201,7 @@ functions: rm -rf rocksdb git clone https://github.com/facebook/rocksdb.git cd rocksdb - make static_lib + make USE_RTTI=1 static_lib fi "build new tools" : |