GNU bug report logs - #54570
[PATCH] gnu: Add parole.

Previous Next

Package: guix-patches;

Reported by: tumashu <at> 163.com

Date: Fri, 25 Mar 2022 23:06:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: Maxime Devos <maximedevos <at> telenet.be>
Cc: Feng Shu <tumashu <at> 163.com>, 54570 <at> debbugs.gnu.org
Subject: [bug#54570] [PATCH] gnu: Add parole.
Date: Wed, 06 Apr 2022 10:10:49 +0200

Hi,

Maxime Devos <maximedevos <at> 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’.
This bug report was last modified 3 years and 41 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.