GNU bug report logs - #47069
[PATCH] etc: Run pre-push make in guix environment.

Previous Next

Full log

View this message in rfc822 format

From: zimoun <zimon.toutoune <at> gmail.com>
To: Tobias Geerinckx-Rice <me <at> tobias.gr>
Cc: 47069 <at> debbugs.gnu.org
Subject: [bug#47069] [PATCH] etc: Run pre-push make in guix environment.
Date: Fri, 26 Mar 2021 09:20:17 +0100

Hi Tobias,

On Thu, 11 Mar 2021 at 15:42, Tobias Geerinckx-Rice <me <at> tobias.gr> wrote:
> * etc/git/pre-push: Exec make in a guix development environment.
> ---

> The pre-push assumes you have make installed, which I didn't.

How do you rebuild Guix before pushing?


Cheers,
simon

Previous Next

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