From ba8c09f289ecaced633a7889572ba8cc2167a654 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Wed, 17 Jun 2020 19:06:14 +0200
Subject: 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 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
-- 
cgit 1.4.1