From: Ian Jackson <iwj@amdahl.debian.org>
Date: Fri, 12 Oct 2018 15:36:18 +0000 (+0000)
Subject: debian/shuffle-boot-files: Handle boot/xen as well as boot/xen.gz
X-Git-Tag: archive/raspbian/4.11.1-1+rpi1^2~67
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=48c53423b65cce23b72e96ddd4363568027c00a3;p=xen.git

debian/shuffle-boot-files: Handle boot/xen as well as boot/xen.gz

On arm64, at least, the main file is boot/xen, not boot/xen.gz.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/debian/shuffle-boot-files b/debian/shuffle-boot-files
index 81761653e0..f7492c0c72 100755
--- a/debian/shuffle-boot-files
+++ b/debian/shuffle-boot-files
@@ -21,7 +21,8 @@ mkdir -p $dest
 # more useful when the -i386 flavour existed and was coinstallable
 # with the -amd64 flavour.)
 
-verstring=$(readlink debian/tmp/boot/xen.gz)
+verstring=$(readlink debian/tmp/boot/xen.gz ||
+            readlink debian/tmp/boot/xen)
 verstring=${verstring##*/}
 verstring=${verstring%.gz}