diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2013-01-09 22:09:58 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2013-01-09 22:10:06 +0100 |
| commit | b2d58cd80a04ccab09a947d187ae55ff199eae08 (patch) | |
| tree | 0fc47cbad22bb432f4eee5db386e5bacbab52ca1 /doc | |
| parent | b9e5c0a949fa627da55ea53fd71dfa96ad8a2b4b (diff) | |
| download | gnu-guix-b2d58cd80a04ccab09a947d187ae55ff199eae08.tar gnu-guix-b2d58cd80a04ccab09a947d187ae55ff199eae08.tar.gz | |
union: Detect collisions, and delete duplicate leaves.
* guix/build/union.scm (delete-duplicate-leaves): New procedure.
(union-build)[leaf=?, resolve-collision]: New procedures.
Use `delete-duplicate-leaves' on the result of `tree-union'.
* tests/union.scm ("delete-duplicate-leaves, default",
"delete-duplicate-leaves, file names"): New tests.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions