diff options
Diffstat (limited to 'tools/calmbench/calmbench.py')
-rw-r--r-- | tools/calmbench/calmbench.py | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/tools/calmbench/calmbench.py b/tools/calmbench/calmbench.py index 50208cc3fd..b786b5f346 100644 --- a/tools/calmbench/calmbench.py +++ b/tools/calmbench/calmbench.py @@ -88,7 +88,7 @@ def parse_args(): ['--baseline', str, 'master', baseline_help], ['--basearg', str, '', basearg_help], ['--reps', int, 2, reps_help], - ['--threads', int, default_threads, threads_help] + ['--threads', int, default_threads, threads_help], ] for d in definitions: @@ -108,6 +108,11 @@ def parse_args(): parser.set_defaults(noinit=False); parser.set_defaults(concise=False); + # Additional args for bots + BHELP = "bot specific options" + parser.add_argument('--githash', type=str, help=BHELP) + parser.add_argument('--keys', type=str, default=[], nargs='+', help=BHELP) + args = parser.parse_args() if not args.basearg: args.basearg = args.extraarg @@ -189,6 +194,11 @@ def main(): "true" if args.noinit else "false" ] + if args.githash: + command += ['--githash', args.githash] + if args.keys: + command += (['--keys'] + args.keys) + if args.concise: command.append("--concise") |