From 1ebb05af704ba6118e472dbf9fad5d0a2f628bb3 Mon Sep 17 00:00:00 2001
From: Jason Volk <jason@zemos.net>
Date: Thu, 29 Nov 2018 12:58:26 -0800
Subject: [PATCH] tools: Disable JEMALLOC for RocksDB builds.

---
 tools/buildrocks.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tools/buildrocks.sh b/tools/buildrocks.sh
index bdeca652e..ce9251b25 100755
--- a/tools/buildrocks.sh
+++ b/tools/buildrocks.sh
@@ -50,5 +50,7 @@ run cd deps/rocksdb
 run git fetch --tags
 run git checkout $BRANCH
 NJOBS=`nproc`
-CFLAGS="-fPIC -frtti -DROCKSDB_USE_RTTI" run make -j$NJOBS $LINKAGE
+export CFLAGS="-fPIC -frtti -DROCKSDB_USE_RTTI"
+export DISABLE_JEMALLOC=1
+run make -j$NJOBS $LINKAGE
 run cd $USERDIR         # Return to user's original directory