aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-06-17 19:06:14 +0200
committerLudovic Courtès <ludo@gnu.org>2020-06-17 19:32:43 +0200
commitba8c09f289ecaced633a7889572ba8cc2167a654 (patch)
treebd19163cc00cf973191b0bcc811e84078aa21ef8
parent7488d70c555e9ecb9e41fad1b3cfd1234edbaa9d (diff)
downloadguix-ba8c09f289ecaced633a7889572ba8cc2167a654.tar.gz
guix-ba8c09f289ecaced633a7889572ba8cc2167a654.zip
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.scm3
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