diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-03-31 23:14:56 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-03-31 23:30:50 +0200 |
commit | fc95dc4c34bf88ebd8c21752bf6d54b5cf752d1a (patch) | |
tree | 7ebef949fc6268dcbdae3664db9b67f5fcc3bee8 /gnu | |
parent | e1bff5a75c9b9806509a90428b8a87c03cc67248 (diff) | |
download | patches-fc95dc4c34bf88ebd8c21752bf6d54b5cf752d1a.tar patches-fc95dc4c34bf88ebd8c21752bf6d54b5cf752d1a.tar.gz |
guix package: Add '--allow-collisions'.
Fixes <https://bugs.gnu.org/30830>.
Suggested by Ricardo Wurmus <rekado@elephly.net>.
* guix/scripts/package.scm (build-and-use-profile): Add
#:allow-collisions? and pass it to 'profile-derivation'.
(show-help, %options): Add '--allow-collisions'.
(manifest-action, process-actions): Pass #:allow-collisions? to
'build-and-use-profile'.
* tests/guix-package.sh: Add collision test.
* doc/guix.texi (Invoking guix package): Document '--allow-collisions'.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions