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.
master
Ludovic Courtès 2016-10-01 11:44:32 +02:00
parent 8e5e8724d2
commit 712b62d8f7
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 1 additions and 3 deletions

View File

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