projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f4fd6b) | patch
EFI: don't mistakenly delete a file we never installed
authorJan Beulich <jbeulich@suse.com>
Wed, 27 Apr 2022 07:15:03 +0000 (09:15 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 27 Apr 2022 07:15:03 +0000 (09:15 +0200)
commit163071b1800304c962756789b4ef0ddb978059ba
tree6f15cbffbfe80e118918b7dcf0167c6a5c43ce70tree | snapshot
parent0f4fd6b6d805c89d19843c7ad70adc772a7d1203commit | diff
EFI: don't mistakenly delete a file we never installed

Just like for "install", make dealing with xen.efi on the EFI partition
dependent upon mount point and vendor directory being known.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Bertrand Marquis <bertrand.marquis@arm.com>
xen/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.