[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#57537] [PATCH] gnu: Add ec
From: |
Denis 'GNUtoo' Carikli |
Subject: |
[bug#57537] [PATCH] gnu: Add ec |
Date: |
Fri, 2 Sep 2022 04:14:18 +0200 |
Hi,
On Fri, 2 Sep 2022 04:00:49 +0200
Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> wrote:
> + '(#:make-flags (list (string-append "DESTDIR="
> + (assoc-ref %outputs "out")))
This installs the 'ec' binary in DESTDIR/usr/sbin which is wrong.
I'll fix it and send a v2.
Denis.
pgpR0ssQhrpkj.pgp
Description: OpenPGP digital signature