diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-20 01:33:25 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-20 01:42:11 +0100 |
| commit | 38b77f34640ff8a491913d29abcd16a846f2d0e4 (patch) | |
| tree | b955ddead2a7d6e5106f15c7bc2c9424caf7f1c1 /gnu/ci.scm | |
| parent | 2d17a904aca81ed91c5a33ba15d244bca78ac4b8 (diff) | |
| download | guix-38b77f34640ff8a491913d29abcd16a846f2d0e4.tar guix-38b77f34640ff8a491913d29abcd16a846f2d0e4.tar.gz | |
profiles: Allow a profile to be added as an entry of another profile.
* guix/build/profiles.scm (build-etc/profile): When 'OUTPUT/etc/profile'
already exists, delete it first.
(build-profile): Likewise for 'OUTPUT/manifest'.
* tests/profiles.scm ("profile in profile"): New test.
Diffstat (limited to 'gnu/ci.scm')
0 files changed, 0 insertions, 0 deletions