07/10: build-system/gnu: Rename "make dist" phase to 'build-dist'.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit ba8c09f289ecaced633a7889572ba8cc2167a654
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Wed Jun 17 19:06:14 2020 +0200

    build-system/gnu: Rename "make dist" phase to 'build-dist'.
    
    * guix/build/gnu-dist.scm (%dist-phases): Add BUILD under the name
    'build-dist'.
---
 guix/build/gnu-dist.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/guix/build/gnu-dist.scm b/guix/build/gnu-dist.scm
index f84430f..ade3b42 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