diff --git a/src/benchmark.py b/src/benchmark.py index 4737799a7b107a1a20cdd9fef94bd513a9001b1a..f904c7a887695e8d8cf1dd790282c6b4a1a549ed 100644 --- a/src/benchmark.py +++ b/src/benchmark.py @@ -236,7 +236,7 @@ class Benchmark (object): stdout=subprocess.PIPE, universal_newlines=True).stdout.split()[1] - actual_cmd = "{} {} {} {}{}".format(self.measure_cmd, + actual_cmd = "{} {} {}{}".format(self.measure_cmd, t["cmd_prefix"], binary, actual_cmd[cmd_start:])