diff options
| author | Michael Brown | 2008-03-06 16:37:34 +0100 |
|---|---|---|
| committer | Michael Brown | 2008-03-06 16:37:34 +0100 |
| commit | fad35829ebcaff28e5f815f5e3b4a98d96b4477b (patch) | |
| tree | a9360d67ac1eb9de4297ac3b8de6de3ef2934298 /src/bin | |
| parent | [tg3] Added device ID for rebranded HP card. (diff) | |
| download | ipxe-fad35829ebcaff28e5f815f5e3b4a98d96b4477b.tar.gz ipxe-fad35829ebcaff28e5f815f5e3b4a98d96b4477b.tar.xz ipxe-fad35829ebcaff28e5f815f5e3b4a98d96b4477b.zip | |
[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.
Diffstat (limited to 'src/bin')
0 files changed, 0 insertions, 0 deletions