diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2017-07-18 16:30:14 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2017-07-18 17:14:38 +0200 |
| commit | 21ffcd65c5a3459e939a75eb9151acde6ab53723 (patch) | |
| tree | b44704e9b3d8c2b4c5229ac4e44c046d35f9d877 /gnu/build | |
| parent | e333efd53aead8e51f77213856b1e4cf72d57f6b (diff) | |
vm: Increase disk size overhead estimate.
* gnu/build/vm.scm (estimated-partition-size): Add 25% to the graph size.
Diffstat (limited to 'gnu/build')
| -rw-r--r-- | gnu/build/vm.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/build/vm.scm b/gnu/build/vm.scm index 086f38ade1..14bd7851f2 100644 --- a/gnu/build/vm.scm +++ b/gnu/build/vm.scm @@ -157,8 +157,8 @@ the #:references-graphs parameter of 'derivation'." (define (estimated-partition-size graphs) "Return the estimated size of a partition that can store the store items given by GRAPHS, a list of file names produced by #:references-graphs." - ;; Simply add a 20% overhead. - (round (* 1.2 (closure-size graphs)))) + ;; Simply add a 25% overhead. + (round (* 1.25 (closure-size graphs)))) (define* (initialize-partition-table device partitions #:key |