Nothing uses this yet.
Signed-off-by: Ian Jackson <ian.jack...@eu.citrix.com>
---
Osstest/Debian.pm | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/Osstest/Debian.pm b/Osstest/Debian.pm
index 9f1ce1df..0386ff7a 100644
--- a/Osstest/Debian.pm
+++ b/Osstest/Debian.pm
@@ -448,6 +448,11 @@ sub setupboot_grub2 ($$$$) {
get_host_property($ho, "firmware") eq "uefi" &&
$ho->{Suite} =~ m/jessie|stretch|buster/ && $ho->{Arch} =~ m/^arm/;
+ my %bootfiles =
+ map { $_ => 1 }
+ split / /,
+ target_cmd_output_root($ho, "cd /boot && echo *");
+
my $parsemenu= sub {
my $f= bl_getmenu_open($ho, $rmenu, "$stash/$ho->{Name}--grub.cfg.1");
--
2.20.1
