File tree 2 files changed +6
-1
lines changed
2 files changed +6
-1
lines changed Original file line number Diff line number Diff line change @@ -201,6 +201,8 @@ include Makefile""")
201
201
# https://source.chromium.org/chromium/chromium/src/+/62848c8d298690e086e49a9832278ff56b6976b5.
202
202
environment = {"ZERO_AR_DATE" : "1" },
203
203
working_directory = unpack_dir ,
204
+ # use a big timeout because copying GHC is slow (1.5G)
205
+ timeout = 30 * 60 ,
204
206
)
205
207
206
208
if not is_hadrian_dist :
Original file line number Diff line number Diff line change @@ -2,13 +2,15 @@ def execute_or_fail_loudly(
2
2
repository_ctx ,
3
3
arguments ,
4
4
environment = {},
5
- working_directory = "" ):
5
+ working_directory = "" ,
6
+ timeout = 600 ):
6
7
"""Execute the given command
7
8
8
9
Fails if the command does not exit with exit-code 0.
9
10
10
11
Args:
11
12
arguments: List, the command line to execute.
13
+ timeout: The timeout for the command in seconds (default: 600).
12
14
13
15
Returns:
14
16
exec_result: The output of the command.
@@ -19,6 +21,7 @@ def execute_or_fail_loudly(
19
21
environment = environment ,
20
22
quiet = True ,
21
23
working_directory = working_directory ,
24
+ timeout = timeout ,
22
25
)
23
26
if exec_result .return_code != 0 :
24
27
arguments = [_as_string (x ) for x in arguments ]
You can’t perform that action at this time.
0 commit comments