diff --git a/debian/build-efi-images b/debian/build-efi-images index 54c642b57..fdefa6c0a 100755 --- a/debian/build-efi-images +++ b/debian/build-efi-images @@ -60,9 +60,20 @@ else fi EOF +cat >"$workdir/grub-netboot.cfg" < Wed, 18 Sep 2013 17:00:27 +0100