diff --git a/src/benchmark.py b/src/benchmark.py index 71e4577735a7097d213c567bac40790c5c0a0022..c8fc3cdf634a386d2b45ec6f56cf2a31508e5e5c 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