From 474a521811059d52bc3dba72128307ecb9a1c187 Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Wed, 6 Nov 2019 20:36:23 +0100
Subject: don't always use jemalloc for redis

---
 src/benchmarks/redis.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/benchmarks/redis.py b/src/benchmarks/redis.py
index 06801c2..4cad3ba 100644
--- a/src/benchmarks/redis.py
+++ b/src/benchmarks/redis.py
@@ -64,7 +64,7 @@ class BenchmarkRedis(Benchmark):
         redis.provide(self.build_dir)
 
         # building redis
-        proc = subprocess.run(["make", "-C", redis_dir],
+        proc = subprocess.run(["make", "-C", redis_dir, "MALLOC=libc", "USE_JEMALLOC=no"],
                               # stdout=subprocess.PIPE, stderr=subprocess.PIPE,
                               universal_newlines=True)
 
-- 
cgit v1.2.3