[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#54570] [PATCH] gnu: Add parole.
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#54570] [PATCH] gnu: Add parole. |
|
Date: |
Wed, 06 Apr 2022 10:10:49 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hi,
Maxime Devos <maximedevos@telenet.be> 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’.