diff options
author | Martin Peres <martin.peres@free.fr> | 2016-02-01 20:16:44 +0200 |
---|---|---|
committer | Martin Peres <martin.peres@free.fr> | 2016-02-01 20:17:24 +0200 |
commit | f2c5febd7e20d0c336709d42e30b85d9888cbbba (patch) | |
tree | da8be002c8b23235c37d19bcab1fa888cd08bb69 | |
parent | 2a6d4c26ae4c68885d7fcc1d259113aae78d79fa (diff) |
ezbench.py: cast the number of rounds to integer before calling core.sh
This fixes an issue where the python binding would call core.sh with a
number of rounds like '20.0'. This patch ensures will make it back to
20.
-rw-r--r-- | utils/ezbench.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/ezbench.py b/utils/ezbench.py index 373b1b3..bd5d6ac 100644 --- a/utils/ezbench.py +++ b/utils/ezbench.py @@ -109,7 +109,7 @@ class Ezbench: ezbench_cmd.append("-B"); ezbench_cmd.append(benchmark_excl) if rounds is not None: - ezbench_cmd.append("-r"); ezbench_cmd.append(str(rounds)) + ezbench_cmd.append("-r"); ezbench_cmd.append(str(int(rounds))) if self.make_command is not None: ezbench_cmd.append("-m"); ezbench_cmd.append(self.make_command) |