[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#42641: [PATCH] gnu: Add Remake.
From: |
Eric Bavier |
Subject: |
bug#42641: [PATCH] gnu: Add Remake. |
Date: |
Sat, 01 Aug 2020 14:06:25 -0500 |
User-agent: |
Evolution 3.34.2 |
On Sat, 2020-08-01 at 09:06 +0200, Mathieu Othacehe wrote:
> Hello Eric,
>
> > * gnu/packages/debug.scm (remake): New variable.
> > * gnu/packages/patches/remake-impure-dirs.patch: New file.
> > * gnu/local.mk (dist_patch_DATA): Add it.
>
> This looks fine, feel free to proceed.
Thanks for the review, Mathieu!
Pushed in 86f86cffd822afc012e308490e9931a66ce924aa
`~Eric