[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