Index: Makefile =================================================================== --- Makefile (revision 4220) +++ Makefile (working copy) @@ -200,7 +200,7 @@ endif mkdir -p "$(DESTDIR)$(datadir)" set -e; for x in bios.bin vgabios.bin vgabios-cirrus.bin ppc_rom.bin \ - video.x openbios-sparc32 pxe-ne2k_pci.bin \ + video.x openbios-sparc32 openbios-sparc64 pxe-ne2k_pci.bin \ pxe-rtl8139.bin pxe-pcnet.bin; do \ $(INSTALL) -m 644 $(SRC_PATH)/pc-bios/$$x "$(DESTDIR)$(datadir)"; \ done @@ -302,6 +302,7 @@ $(datadir)/ppc_rom.bin \ $(datadir)/video.x \ $(datadir)/openbios-sparc32 \ + $(datadir)/openbios-sparc64 \ $(datadir)/pxe-ne2k_pci.bin \ $(datadir)/pxe-rtl8139.bin \ $(datadir)/pxe-pcnet.bin \