diff options
author | Ludovic Courtès <[email protected]> | 2020-06-17 19:06:14 +0200 |
---|---|---|
committer | Ludovic Courtès <[email protected]> | 2020-06-17 19:32:43 +0200 |
commit | ba8c09f289ecaced633a7889572ba8cc2167a654 (patch) | |
tree | bd19163cc00cf973191b0bcc811e84078aa21ef8 /etc | |
parent | 7488d70c555e9ecb9e41fad1b3cfd1234edbaa9d (diff) |
build-system/gnu: Rename "make dist" phase to 'build-dist'.
* guix/build/gnu-dist.scm (%dist-phases): Add BUILD under the name
'build-dist'.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions