[Makefile] Use bin/VVVVDDDD.rom instead of bin/pci_VVVV_DDDD.rom
authorMichael Brown <mcb30@etherboot.org>
Thu, 6 Mar 2008 15:37:34 +0000 (15:37 +0000)
committerMichael Brown <mcb30@etherboot.org>
Thu, 6 Mar 2008 15:37:34 +0000 (15:37 +0000)
commitfad35829ebcaff28e5f815f5e3b4a98d96b4477b
treea9360d67ac1eb9de4297ac3b8de6de3ef2934298
parent06e8a7048895087a76cfd6a0667ae2ea48043d01
[Makefile] Use bin/VVVVDDDD.rom instead of bin/pci_VVVV_DDDD.rom

The generate-by-PCI-device-ID rules (bin/pci_VVVV_DDDD.rom) are generally
used for building actual ROM images to be burned, and the burning
utilities generally run under some DOS variant.  Change the filename from
pci_VVVV_DDDD.rom to VVVVDDDD.rom so that it is compatible with the DOS
8.3-character filename limit.
src/util/parserom.pl