[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#47069] [PATCH] etc: Run pre-push make in guix environment.
|
From: |
zimoun |
|
Subject: |
[bug#47069] [PATCH] etc: Run pre-push make in guix environment. |
|
Date: |
Fri, 26 Mar 2021 09:20:17 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Hi Tobias,
On Thu, 11 Mar 2021 at 15:42, Tobias Geerinckx-Rice <me@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