| Index: infra/bots/flavor/default_flavor.py
|
| diff --git a/infra/bots/flavor/default_flavor.py b/infra/bots/flavor/default_flavor.py
|
| index 5933b6c3cf409139695036e707fc791bc1b6eb3b..5cf0eee85b2142e26160c89e7dbf2be7806909e9 100644
|
| --- a/infra/bots/flavor/default_flavor.py
|
| +++ b/infra/bots/flavor/default_flavor.py
|
| @@ -75,11 +75,13 @@ class DefaultFlavorUtils(object):
|
| """Runs a step as appropriate for this flavor."""
|
| path_to_app = os.path.join(self._bot_info.out_dir,
|
| self._bot_info.configuration, cmd[0])
|
| - if (sys.platform == 'linux' and
|
| + if ('linux' in sys.platform and
|
| 'x86_64' in self._bot_info.bot_name and
|
| not 'TSAN' in self._bot_info.bot_name):
|
| new_cmd = ['catchsegv', path_to_app]
|
| else:
|
| + if sys.platform == 'win32':
|
| + path_to_app += '.exe'
|
| new_cmd = [path_to_app]
|
| new_cmd.extend(cmd[1:])
|
| return self._bot_info.run(new_cmd, **kwargs)
|
|
|