Re: [PATCH] build: GuixSD doesn't have /bin/bash.

[Paul Eggert]

Mathieu Lirzin wrote:

> I don't think, since ‘grep -r '^#! *\$'’ doesn't bring any results.

OK, thanks for checking. I installed it into gnulib master after creating a 
ChangeLog entry for it and tweaking the punctuation in the commit message

> Considering the requirements of having an absolute filename and not
> being able to reliably guess that filename, it seems that we should
> either use ‘which’ or add a configure phase to generate the Makefile
> with the correct SHELL variable.

Probably overkill, as Bruno wrote. And 'which' has its own portability problems.