diff options
author | Ludovic Courtès <ludo@gnu.org> | 2015-08-20 19:12:36 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-08-20 19:12:36 +0200 |
commit | fa96048f0a97b4265b3c52f30a5accf89e96174b (patch) | |
tree | c2208dc8a76c209b22f3a38fa26ab60bcc595474 /configure.ac | |
parent | feca8e2bc703b97ea2862935f762d423f983be7e (diff) | |
download | guix-fa96048f0a97b4265b3c52f30a5accf89e96174b.tar.gz |
profiles: Remove duplicate entries in 'etc/profile'.
Reported by Andy Wingo at <http://lists.gnu.org/archive/html/guix-devel/2015-08/msg00109.html>. * guix/profiles.scm (profile-derivation)[builder]: Delete duplicates in SEARCH-PATHS.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions