From d7abe56433fea376d39c2cbec16df7e562714475 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Sun, 24 Sep 2023 02:00:00 +0200
Subject: [PATCH] gnu: xen: Version the mini-os checkout.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* gnu/packages/virtualization.scm (xen)[native-inputs]: Add the Xen name
and version to the ‘…-mini-os-git-checkout’ store file name.
---
 gnu/packages/virtualization.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)