[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations.
From: |
Danny Milosavljevic |
Subject: |
[bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations. |
Date: |
Wed, 13 Feb 2019 13:39:24 +0100 |
Hi Julien,
> When [invoke's child return status] is correct, [invoke] returns
> #<unspecified>, so we need to explicitly return #t.
That's not true. invoke returns #t in the successful case--I designed it that
way mostly to get rid of the many vestigal #t's in phases.
(I hope that in a future version of guix, the necessity of using #t to end
phases will be gone entirely)
pgpMDY1IYcoat.pgp
Description: OpenPGP digital signature
bug#34466: [PATCH] gnu: Add coq-equations., Julien Lepiller, 2019/02/13