[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Paul Eggert
Subject: Re: [PATCH] build: GuixSD doesn't have /bin/bash.
Date: Mon, 22 Jan 2018 21:42:28 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.0

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]