build-system/gnu: Rename "make dist" phase to 'build-dist'.
authorLudovic Courtès <ludo@gnu.org>
Wed, 17 Jun 2020 17:06:14 +0000 (19:06 +0200)
committerLudovic Courtès <ludo@gnu.org>
Wed, 17 Jun 2020 17:32:43 +0000 (19:32 +0200)
* guix/build/gnu-dist.scm (%dist-phases): Add BUILD under the name
'build-dist'.

guix/build/gnu-dist.scm

index f84430f..ade3b42 100644 (file)
@@ -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