From 2e68bb40ddd9cfe849accd805ad3f1ab126f379b Mon Sep 17 00:00:00 2001 From: Florian Fischer Date: Tue, 22 Oct 2019 10:53:03 +0200 Subject: fix redis directory --- src/benchmarks/redis.py | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/src/benchmarks/redis.py b/src/benchmarks/redis.py index 2987d34..06801c2 100644 --- a/src/benchmarks/redis.py +++ b/src/benchmarks/redis.py @@ -15,7 +15,12 @@ # You should have received a copy of the GNU General Public License # along with allocbench. If not, see . -"""Definition of the redis benchmark""" +"""Definition of the redis benchmark + + +This benchmark uses the redis benchmark tool included in the redis release +archive. The used parameters are inspired by the ones used in mimalloc-bench." +""" import os import re @@ -32,11 +37,7 @@ REQUESTS_RE = re.compile("(?P(\\d*.\\d*)) requests per second") class BenchmarkRedis(Benchmark): - """Redis benchmark - - This benchmark uses the redis benchmark tool included in the redis release - archive. The used parameters are inspired by the ones used in mimalloc-bench." - """ + """Definition of the redis benchmark""" def __init__(self): name = "redis" @@ -60,7 +61,7 @@ class BenchmarkRedis(Benchmark): redis_dir = os.path.join(self.build_dir, f"redis-{redis_version}") - redis.provide(redis_dir) + redis.provide(self.build_dir) # building redis proc = subprocess.run(["make", "-C", redis_dir], -- cgit v1.2.3