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

* guix/build/gnu-dist.scm (%dist-phases): Add BUILD under the name
'build-dist'.
This commit is contained in:
Ludovic Courtès 2020-06-17 19:06:14 +02:00
parent 7488d70c55
commit ba8c09f289
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5

@ -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