diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-07-09 10:44:36 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-07-11 00:52:36 +0200 |
commit | f03df3ee75d1209fb9782999bd04378c58e9f0f1 (patch) | |
tree | 38f3e7590cb02677c4e943e5fbf16cf915e54177 /THANKS | |
parent | 1dec269176fd809483a751da174c2d5ea66ed58a (diff) | |
download | patches-f03df3ee75d1209fb9782999bd04378c58e9f0f1.tar patches-f03df3ee75d1209fb9782999bd04378c58e9f0f1.tar.gz |
profiles: Factorize 'manifest-search-paths'.
* guix/profiles.scm (manifest-search-paths): New procedure.
(profile-derivation)[builder]: Use it.
* guix/build/profiles.scm (build-etc/profile): Remove $PATH.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions