diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-06-07 09:51:55 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-06-21 11:05:53 +0200 |
| commit | a654dc4bcf7c8e205bdefa1a1d5f23444dd22778 (patch) | |
| tree | e020f5cc14b3d30743cbf9e4a7069a8c5e1125ce /gnu/bootloader | |
| parent | 81e3485c0d012e29d4e551107fc31c0da89b0006 (diff) | |
| download | patches-a654dc4bcf7c8e205bdefa1a1d5f23444dd22778.tar patches-a654dc4bcf7c8e205bdefa1a1d5f23444dd22778.tar.gz | |
profiles: Catch and report collisions in the profile.
* guix/profiles.scm (&profile-collision-error): New error condition.
(manifest-transitive-entries, manifest-entry-lookup, lower-manifest-entry)
(check-for-collisions): New procedures.
(profile-derivation): Add call to 'check-for-collisions'.
* guix/ui.scm (call-with-error-handling): Handle '&profile-collision-error'.
* tests/profiles.scm ("collision", "collision of propagated inputs")
("no collision"): New tests.
Diffstat (limited to 'gnu/bootloader')
0 files changed, 0 insertions, 0 deletions