Subject: Re: bug#54570: [PATCH] gnu: Add parole.

From: Ludovic Courtès <[email-masked]>
Date: Wed, 06 Apr 2022 10:10:49 +0200

Hi,

Maxime Devos <[email-masked]> skribis:

> Ludovic Courtès schreef op ma 04-04-2022 om 22:54 [+0200]:
>> +                  #:sh (search-input-file inputs "bin/bash")
>
> FWIW, this line is unneccessary due to the 'patch-shebangs' phase,

Is it?  The default value of #:sh is (which "bash"), which is the wrong
value when cross-compiling, isn’t it?

Ludo’.