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 81761653e073ca10cc1c605da7ef8d7d82b7b0f0..f7492c0c726bd7e07af0216ebe6ea95ab6345c89 100755 (executable)
--- 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}