diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-06-17 19:06:14 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-06-17 19:32:43 +0200 |
commit | ba8c09f289ecaced633a7889572ba8cc2167a654 (patch) | |
tree | bd19163cc00cf973191b0bcc811e84078aa21ef8 /scripts | |
parent | 7488d70c555e9ecb9e41fad1b3cfd1234edbaa9d (diff) | |
download | guix-patches-ba8c09f289ecaced633a7889572ba8cc2167a654.tar guix-patches-ba8c09f289ecaced633a7889572ba8cc2167a654.tar.gz |
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 'scripts')
0 files changed, 0 insertions, 0 deletions