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 | |
| parent | 7488d70c555e9ecb9e41fad1b3cfd1234edbaa9d (diff) | |
| download | guix-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'.
| -rw-r--r-- | guix/build/gnu-dist.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/guix/build/gnu-dist.scm b/guix/build/gnu-dist.scm index f84430f97c..ade3b42cab 100644 --- a/guix/build/gnu-dist.scm +++ b/guix/build/gnu-dist.scm @@ -54,6 +54,7 @@ (modify-phases %standard-phases (delete 'strip) (replace 'install install-dist) - (replace 'build build))) + (add-after 'build 'build-dist build) + (delete 'build))) ;;; gnu-dist.scm ends here |