From 342764869b7cab91a24a998003fbbff032eea25d Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Wed, 15 May 2019 20:42:37 +0200
Subject: [PATCH] fix cmd for non server benchmarks
---
src/benchmark.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/benchmark.py b/src/benchmark.py
index 71e4577..c8fc3cd 100644
--- a/src/benchmark.py
+++ b/src/benchmark.py
@@ -300,7 +300,7 @@ class Benchmark (object):
# Prepend cmd if we are not measuring servers
if self.server_cmds == []:
actual_cmd = src.util.prefix_cmd_with_abspath(actual_cmd)
- actual_cmd = "{} {} {}{}".format(self.measure_cmd,
+ actual_cmd = "{} {} {}".format(self.measure_cmd,
alloc["cmd_prefix"],
actual_cmd)
# substitute again
--
GitLab