mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
Propagate pipe failure.
This commit is contained in:
parent
2777134efb
commit
34c3030ddd
1 changed files with 2 additions and 2 deletions
|
@ -685,7 +685,7 @@ class MacOsGenericWorkerTask(UnixTaskMixin, GenericWorkerTask):
|
|||
# So concatenate scripts and use a single `bash` command instead.
|
||||
return [
|
||||
[
|
||||
"/bin/bash", "--login", "-x", "-e", "-c",
|
||||
"/bin/bash", "--login", "-x", "-e", "-o", "pipefail", "-c",
|
||||
deindent("\n".join(self.scripts))
|
||||
]
|
||||
]
|
||||
|
@ -749,7 +749,7 @@ class DockerWorkerTask(UnixTaskMixin, Task):
|
|||
"image": self.docker_image,
|
||||
"maxRunTime": self.max_run_time_minutes * 60,
|
||||
"command": [
|
||||
"/bin/bash", "--login", "-x", "-e", "-c",
|
||||
"/bin/bash", "--login", "-x", "-e", "-o", "pipefail", "-c",
|
||||
deindent("\n".join(self.scripts))
|
||||
],
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue