Searched refs:arg_delimiter (Results 1 – 1 of 1) sorted by relevance
| /external/v8/tools/ |
| D | callstats.py | 132 def get_chrome_flags(js_flags, user_data_dir, arg_delimiter=""): argument
139 "--js-flags={}{}{}".format(arg_delimiter, js_flags, arg_delimiter),
141 "--user-data-dir={}{}{}".format(arg_delimiter, user_data_dir,
142 arg_delimiter),
145 def get_chrome_replay_flags(args, arg_delimiter=""): argument
152 arg_delimiter, http_port, https_port,
153 arg_delimiter),
|