diff options
| author | Chris Marusich <cmmarusich@gmail.com> | 2018-03-15 05:09:11 +0100 |
|---|---|---|
| committer | Chris Marusich <cmmarusich@gmail.com> | 2018-03-24 03:04:10 +0100 |
| commit | af81311b8c7712db207927c8e7b8ed66602be5c7 (patch) | |
| tree | 5d7ba0da9b16fd3980521e9482e6e5a6e7aebc1a /gnu/system | |
| parent | 272c07096251ea3dae237fd016fc5d66fe25e147 (diff) | |
| download | patches-af81311b8c7712db207927c8e7b8ed66602be5c7.tar patches-af81311b8c7712db207927c8e7b8ed66602be5c7.tar.gz | |
vm: Allow control of deduplication in root-partition-initializer.
* gnu/build/vm.scm (root-partition-initializer): Add #:deduplicate?
keyword argument.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions