GNU bug report logs - #56030
The guix pull profile is too big

Previous Next

Full log

Message #35 received at 56030 <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: "(" <paren <at> disroot.org>, Maxime Devos <maximedevos <at> telenet.be>,
 56030 <at> debbugs.gnu.org
Subject: Re: bug#56030: The guix pull profile is too big
Date: Thu, 21 Jul 2022 17:52:25 +0200

[Message part 1 (text/plain, inline)]

I must have misunderstood, I thought you wanted to pass it during the build of glibc.

Le 21 juillet 2022 17:49:36 GMT+02:00, "(" <paren <at> disroot.org> a écrit :
>On Thu Jul 21, 2022 at 4:46 PM BST, Maxime Devos wrote:
>> Using SHELL_PATH instead of the __guix_bin_sh sounds better, yes.  But 
>> it's not 'just use -DSHELL_PATH=', we still need to change 'system' 
>> appropriately.
>Why would we need to change it? The glibc definition already uses that
>macro for the shell path, it's just hard-coded to /bin/sh by default.

[Message part 2 (text/html, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.