Remove /boot/efiboot.img via 'make upgrade'.
commited38b6fc09a845048bd92f38686d1e97a6461f52
authorSascha Wildner <saw@online.de>
Sat, 16 Dec 2017 10:39:05 +0000 (16 11:39 +0100)
committerSascha Wildner <saw@online.de>
Sat, 16 Dec 2017 10:39:05 +0000 (16 11:39 +0100)
treeedc3c28bdbeeafa64496a5adc4b184699d6d9ffc
parentb6c0cb48a4cdf4eadcea42180b17ef3438d8cb82
Remove /boot/efiboot.img via 'make upgrade'.

This is needed in our ISOs only to allow booting in EFI mode from
CD-ROM. In the installed system it is not needed anymore, so it
can be removed.
Makefile_upgrade.inc