diff options
| author | Alex Williamson <alex.williamson@redhat.com> | 2018-10-12 10:26:31 -0600 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2018-10-15 09:57:33 +0200 |
| commit | 9f42e0b3c2355c4a2475124c3fc40421a88de813 (patch) | |
| tree | 603bba8b7bf5e60dec4ebaadc7c97dd90072c0f9 /Makefile | |
| parent | ce3cf70edaaf1b8f9a566b36011350c642287879 (diff) | |
Makefile: Install new vgabios binaries
Difficult to make use of if not installed
Fixes: cd1bfd5ef336 ("seabios: update bios and vgabios binaries")
Signed-off-by: Alex Williamson <alex.williamson@redhat.com>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Message-id: 153936155938.28040.11513367417790075721.stgit@gimli.home
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -802,6 +802,7 @@ bepo cz ifdef INSTALL_BLOBS BLOBS=bios.bin bios-256k.bin sgabios.bin vgabios.bin vgabios-cirrus.bin \ vgabios-stdvga.bin vgabios-vmware.bin vgabios-qxl.bin vgabios-virtio.bin \ +vgabios-ramfb.bin vgabios-bochs-display.bin \ ppc_rom.bin openbios-sparc32 openbios-sparc64 openbios-ppc QEMU,tcx.bin QEMU,cgthree.bin \ pxe-e1000.rom pxe-eepro100.rom pxe-ne2k_pci.rom \ pxe-pcnet.rom pxe-rtl8139.rom pxe-virtio.rom \ |