From 48c53423b65cce23b72e96ddd4363568027c00a3 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Fri, 12 Oct 2018 15:36:18 +0000 Subject: [PATCH] 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 --- debian/shuffle-boot-files | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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} -- 2.30.2