|
|
@ -350,11 +350,12 @@ class CLanguage(object): |
|
|
|
environ=env)) |
|
|
|
environ=env)) |
|
|
|
else: |
|
|
|
else: |
|
|
|
cmdline = [binary] + target['args'] |
|
|
|
cmdline = [binary] + target['args'] |
|
|
|
out.append(self.config.job_spec(cmdline, |
|
|
|
shortname = target.get('shortname', ' '.join( |
|
|
|
shortname=' '.join( |
|
|
|
|
|
|
|
pipes.quote(arg) |
|
|
|
pipes.quote(arg) |
|
|
|
for arg in cmdline) + |
|
|
|
for arg in cmdline)) |
|
|
|
shortname_ext, |
|
|
|
shortname += shortname_ext |
|
|
|
|
|
|
|
out.append(self.config.job_spec(cmdline, |
|
|
|
|
|
|
|
shortname=shortname, |
|
|
|
cpu_cost=cpu_cost, |
|
|
|
cpu_cost=cpu_cost, |
|
|
|
flaky=target.get('flaky', False), |
|
|
|
flaky=target.get('flaky', False), |
|
|
|
timeout_seconds=target.get('timeout_seconds', _DEFAULT_TIMEOUT_SECONDS) * timeout_scaling, |
|
|
|
timeout_seconds=target.get('timeout_seconds', _DEFAULT_TIMEOUT_SECONDS) * timeout_scaling, |
|
|
|