diff options
author | Ludovic Courtès <ludo@gnu.org> | 2024-01-17 09:47:02 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2024-01-17 09:47:02 +0100 |
commit | 07b9275490c9a23fd557c4292acaf643fbab20cf (patch) | |
tree | 4607eeeaad371cab73b0b70677f38a82b99ba59d /gnu/local.mk | |
parent | e24205a8eda7977c2394211fc472e416305d14d8 (diff) |
gnu: hurd: Prettify origin file names.
* gnu/packages/hurd.scm (hurd-headers): Drop “v” from ‘version’ string.
(dde-sources): Strip COMMIT in ‘file-name’ field.
(rumpkernel)[source]: Pass VERSION rather than COMMIT to ‘git-file-name’.
Change-Id: I403048d5ba79ef410383c567157aca416843a529
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions