From ba8c09f289ecaced633a7889572ba8cc2167a654 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Wed, 17 Jun 2020 19:06:14 +0200
Subject: [PATCH] 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 f84430f97ce..ade3b42cab5 100644
--- a/guix/build/gnu-dist.scm
+++ b/guix/build/gnu-dist.scm
@@ -54,6 +54,7 @@ (define %dist-phases
(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
--
GitLab