GNU bug report logs - #61731
[PATCH] gnu: Add evdi, libevdi.

Previous Next

Full log

Message #10 received at 61731-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Demis Balbach <db <at> minikn.xyz>
Cc: 61731-done <at> debbugs.gnu.org
Subject: Re: bug#61731: [PATCH] gnu: Add evdi, libevdi.
Date: Sun, 05 Mar 2023 22:58:16 +0100

Hi,

Demis Balbach <db <at> minikn.xyz> skribis:

> ---
>  gnu/packages/linux.scm | 67 +++++++++++++++++++++++++++++++++++++++++-
>  1 file changed, 66 insertions(+), 1 deletion(-)

I split it into two different commits, as per our conventions, added a
commit log, and…

> +                              (copy-file "libevdi.so"
> +                                         (string-append lib "/libevdi.so"))))))))

… changed this to an ‘install-file’ call.

Thanks,
Ludo’.

Previous Next

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