diff options
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 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" : |