diff --git a/src/build.sh b/src/build.sh index d227c66525f1af6eb9d540ef55a82b26cff736b2..12de6c014297be1c9ff1138f56bc2926d522deb7 100755 --- a/src/build.sh +++ b/src/build.sh @@ -100,6 +100,9 @@ else fi echo "CMAKE_OPTIONS=$CMAKE_OPTIONS" + +#rocksdb enable jemalloc by default, but we use regular malloc. +MAKE_OPTIONS="$MAKE_OPTIONS DISABLE_JEMALLOC=1" echo "MAKE_OPTIONS=$MAKE_OPTIONS" echo "#############################################################################"