diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-05-15 09:40:23 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-05-17 10:48:37 +0200 |
| commit | 827c56515e06d21aaa23d60ed05b0c45d1d49901 (patch) | |
| tree | b77f21391a3ec3fd7192f78b28366d5162c75c9e /guix/build/git.scm | |
| parent | 7376ba4cd4d07b5640ab49acad371a8ef3f090bc (diff) | |
union: Do not warn about harmless collisions.
Until now we'd get pointless messages like:
warning: collision encountered:
/gnu/store/…-gtk-icon-themes/share/icons/hicolor/icon-theme.cache
/gnu/store/…-inkscape-0.92.3/share/icons/hicolor/icon-theme.cache
warning: choosing /gnu/store/…-gtk-icon-themes/share/icons/hicolor/icon-theme.cache
* guix/build/union.scm (%harmless-collisions): New variable.
(warn-about-collision): Honor it.
Diffstat (limited to 'guix/build/git.scm')
0 files changed, 0 insertions, 0 deletions