Add missing destroy-resource-pool call
This commit is contained in:
parent
4bb6fb172e
commit
42e45c0917
1 changed files with 3 additions and 1 deletions
|
|
@ -1696,9 +1696,11 @@ WHERE builder != 'builtin:download'
|
||||||
(simple-format #t "~A ~A: ~A\n"
|
(simple-format #t "~A ~A: ~A\n"
|
||||||
system target result)))
|
system target result)))
|
||||||
data))))
|
data))))
|
||||||
|
|
||||||
|
(destroy-resource-pool
|
||||||
|
inf-and-store-pool)
|
||||||
(destroy-parallelism-limiter
|
(destroy-parallelism-limiter
|
||||||
compute-derivations/parallelism-limiter)))))
|
compute-derivations/parallelism-limiter)))))
|
||||||
|
|
||||||
#:hz 0
|
#:hz 0
|
||||||
#:parallelism 1
|
#:parallelism 1
|
||||||
#:drain? #t)
|
#:drain? #t)
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue