diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-10-01 11:44:32 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-10-01 11:55:09 +0200 |
commit | 712b62d8f73f554d646eead198a39cd5e2c772ff (patch) | |
tree | f1565fa4e12c6f3f081e9c46d05c2c5180a5265b | |
parent | 8e5e8724d26033fabe207cfea05b26bcab8c1c99 (diff) | |
download | patches-712b62d8f73f554d646eead198a39cd5e2c772ff.tar patches-712b62d8f73f554d646eead198a39cd5e2c772ff.tar.gz |
gnu: make-boot0: Use 'install-file'.
* gnu/packages/commencement.scm (gnu-make-boot0)[arguments]: Use
'install-file' in 'install' phase instead of 'copy-file' etc.
-rw-r--r-- | gnu/packages/commencement.scm | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm index 976b0ac87d..265b709a11 100644 --- a/gnu/packages/commencement.scm +++ b/gnu/packages/commencement.scm @@ -83,9 +83,7 @@ (lambda* (#:key outputs #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) (bin (string-append out "/bin"))) - (mkdir-p bin) - (copy-file "make" - (string-append bin "/make")))))))))) + (install-file "make" bin))))))))) (native-inputs '()) ; no need for 'pkg-config' (inputs %bootstrap-inputs)))) |