diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-06-21 16:50:59 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-06-21 16:53:22 +0200 |
commit | afd06f605bf88a796acefc7ed598b43879346a6b (patch) | |
tree | edb62a347c953146831a7d67ca21d78329855b01 /gnu | |
parent | cba988ed859616f3a36f88f2984d42417447dfa1 (diff) | |
download | patches-afd06f605bf88a796acefc7ed598b43879346a6b.tar patches-afd06f605bf88a796acefc7ed598b43879346a6b.tar.gz |
environment: Disable profile collision checks.
Reported by Efraim Flashner.
This is a followup to a654dc4bcf7c8e205bdefa1a1d5f23444dd22778.
* guix/profiles.scm (profile-derivation): Add #:allow-collisions? and
honor it.
* guix/scripts/environment.scm (inputs->profile-derivation): Pass
#:allow-collisions? #f to 'profile-derivation'.
* tests/guix-environment.sh: Test "guix environment guix".
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions