summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2023-09-24 02:00:00 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2023-09-24 02:00:00 +0200
commitd7abe56433fea376d39c2cbec16df7e562714475 (patch)
tree1be2a4c633522b20553829f8abb49080993be5ff
parentbd4761e01e27fa38b9c5eab6d9337d6f2e8d0bc1 (diff)
gnu: xen: Version the mini-os checkout.
* gnu/packages/virtualization.scm (xen)[native-inputs]: Add the Xen name and version to the ‘…-mini-os-git-checkout’ store file name.
-rw-r--r--gnu/packages/virtualization.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm
index 6efebd41bf..a1524d49be 100644
--- a/gnu/packages/virtualization.scm
+++ b/gnu/packages/virtualization.scm
@@ -2467,7 +2467,7 @@ override CC = " (assoc-ref inputs "cross-gcc") "/bin/i686-linux-gnu-gcc"))
(commit "0b4b7897e08b967a09bed2028a79fabff82342dd")))
(sha256
(base32 "1i8pcl19n60i2m9vlg79q3nknpj209c9ic5x10wxaicx45kc107f"))
- (file-name "mini-os-git-checkout")))
+ (file-name (string-append name "-" version "-mini-os-git-checkout"))))
("perl" ,perl)
; TODO: markdown
("pkg-config" ,pkg-config)