diff options
author | Ludovic Courtès <ludo@gnu.org> | 2015-06-17 09:49:22 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-06-18 00:25:48 +0200 |
commit | 08fa76131e71dc12f5d669480d74e9183008d71a (patch) | |
tree | 0c244e118c960161e2dcd645306bd663e0a9e7ef /TODO | |
parent | 2f6d3e417fb99d264f0147a81771874860dcaf10 (diff) | |
download | patches-08fa76131e71dc12f5d669480d74e9183008d71a.tar patches-08fa76131e71dc12f5d669480d74e9183008d71a.tar.gz |
install: Turn off deduplication for the binary tarball.
* gnu/build/install.scm (register-closure): Add #:deduplicate? parameter and
honor it.
(populate-single-profile-directory): Likewise.
* gnu/system/install.scm (self-contained-tarball): Pass #:deduplicate? #f.
Invoke tar with --check-links.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions