aboutsummaryrefslogtreecommitdiff
path: root/gnu/ci.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-01-20 01:33:25 +0100
committerLudovic Courtès <ludo@gnu.org>2019-01-20 01:42:11 +0100
commit38b77f34640ff8a491913d29abcd16a846f2d0e4 (patch)
treeb955ddead2a7d6e5106f15c7bc2c9424caf7f1c1 /gnu/ci.scm
parent2d17a904aca81ed91c5a33ba15d244bca78ac4b8 (diff)
downloadguix-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