projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 038714d) | patch
debian/shuffle-boot-files: Handle boot/xen as well as boot/xen.gz
authorIan Jackson <iwj@amdahl.debian.org>
Fri, 12 Oct 2018 15:36:18 +0000 (15:36 +0000)
committerHans van Kranenburg <hans@knorrie.org>
Wed, 2 Jan 2019 19:59:36 +0000 (20:59 +0100)
commit48c53423b65cce23b72e96ddd4363568027c00a3
treee5e13b6e7397938376e31ffe60fea672194d1cb4tree | snapshot
parent038714d4ee4782fe401f008826661fab9e50ba80commit | diff
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>
debian/shuffle-boot-files diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.