diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-06-17 15:23:32 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-06-17 19:32:43 +0200 |
commit | dabbddbbaae23ab512495c5505d99fa112a4b09e (patch) | |
tree | c24254cb3007514f6fd8a8553cca836593886715 /guix | |
parent | 03686f26ccefcf3d0e77105f32964008b7f45ff6 (diff) |
build-system/gnu: Remove redundant 'unpack' phase from 'gnu-dist'.
This has become redundant with the standard 'unpack' phase since
17919a58012c38052133ed029450fdb98d01fb5c.
* guix/build/gnu-dist.scm (copy-source): Remove.
(%dist-phases): Remove 'unpack' phase.
Diffstat (limited to 'guix')
-rw-r--r-- | guix/build/gnu-dist.scm | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/guix/build/gnu-dist.scm b/guix/build/gnu-dist.scm index 727ddfa312..f84430f97c 100644 --- a/guix/build/gnu-dist.scm +++ b/guix/build/gnu-dist.scm @@ -30,9 +30,6 @@ ;;; ;;; Code: -(define* (copy-source #:key source #:allow-other-keys) - (copy-recursively source ".")) - (define* (build #:key build-before-dist? make-flags (dist-target "distcheck") #:allow-other-keys #:rest args) @@ -57,7 +54,6 @@ (modify-phases %standard-phases (delete 'strip) (replace 'install install-dist) - (replace 'build build) - (replace 'unpack copy-source))) + (replace 'build build))) ;;; gnu-dist.scm ends here |