[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: Mathieu Lirzin
Subject: Re: [PATCH] build: GuixSD doesn't have /bin/bash.
Date: Tue, 23 Jan 2018 13:33:33 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)

Paul Eggert <address@hidden> writes:

> 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

Thanks for applying it.  Sorry for the extra work.

Mathieu Lirzin
GPG: F2A3 8D7E EB2B 6640 5761  070D 0ADE E100 9460 4D37

reply via email to

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