From 2bb7deff9fc748c789bd424590e48c42c8d8e80e Mon Sep 17 00:00:00 2001 From: Jan Nieuwenhuizen Date: Mon, 16 Dec 2019 13:37:56 +0100 Subject: [PATCH] gnu: commencement: gnu-make-mesboot0: Rename from make-mesboot0. * gnu/packages/commencement.scm (gnu-make-mesboot0): Rename from make-mesboot0. Update users. --- gnu/packages/commencement.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm index 3bb0e321f8..de010c5ef2 100644 --- a/gnu/packages/commencement.scm +++ b/gnu/packages/commencement.scm @@ -728,7 +728,7 @@ (define (compile x) ;; no gzip yet (delete 'compress-documentation)))))) -(define make-mesboot0 +(define gnu-make-mesboot0 ;; The initial make (package (inherit gnu-make) @@ -784,7 +784,7 @@ (define make-mesboot0 (install-file "make" bin))))))))) (define (%boot-tcc0-inputs) - `(("make" ,make-mesboot0) + `(("make" ,gnu-make-mesboot0) ("tcc" ,tcc-boot0) ,@(%boot-gash-inputs)))