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. ButWhy would we need to change it? The glibc definition already uses that
it's not 'just use -DSHELL_PATH=', we still need to change 'system'
appropriately.
macro for the shell path, it's just hard-coded to /bin/sh by default.