gnu: commencement: gnu-make-mesboot0: Rename from make-mesboot0.

* gnu/packages/commencement.scm (gnu-make-mesboot0): Rename from
make-mesboot0.  Update users.
This commit is contained in:
Jan Nieuwenhuizen 2019-12-16 13:37:56 +01:00
parent d77860dbc8
commit 2bb7deff9f
No known key found for this signature in database
GPG key ID: F3C1A0D9C1D65273

View file

@ -728,7 +728,7 @@ (define (compile x)
;; no gzip yet ;; no gzip yet
(delete 'compress-documentation)))))) (delete 'compress-documentation))))))
(define make-mesboot0 (define gnu-make-mesboot0
;; The initial make ;; The initial make
(package (package
(inherit gnu-make) (inherit gnu-make)
@ -784,7 +784,7 @@ (define make-mesboot0
(install-file "make" bin))))))))) (install-file "make" bin)))))))))
(define (%boot-tcc0-inputs) (define (%boot-tcc0-inputs)
`(("make" ,make-mesboot0) `(("make" ,gnu-make-mesboot0)
("tcc" ,tcc-boot0) ("tcc" ,tcc-boot0)
,@(%boot-gash-inputs))) ,@(%boot-gash-inputs)))