Searched refs:tool_prefix (Results 1 – 2 of 2) sorted by relevance
10 config_args['tool_prefix'] = ['valgrind'] + args.valgrind.split(' ')
136 tool_prefix=[], argument143 self.tool_prefix = tool_prefix168 cmdline=self.tool_prefix + cmdline,