diff options
| author | Michael Brown | 2011-03-30 16:49:00 +0200 |
|---|---|---|
| committer | Michael Brown | 2011-03-30 16:49:00 +0200 |
| commit | 0579b8279cb9ca33664c1cd9cd18e1e1df3f69c1 (patch) | |
| tree | 21e6868079d5d48608921ef2148e44636f8d3417 /src/doc | |
| parent | [build] Remove obsolete "allzroms" target (diff) | |
| download | ipxe-0579b8279cb9ca33664c1cd9cd18e1e1df3f69c1.tar.gz ipxe-0579b8279cb9ca33664c1cd9cd18e1e1df3f69c1.tar.xz ipxe-0579b8279cb9ca33664c1cd9cd18e1e1df3f69c1.zip | |
[build] Include only one copy of each ROM in "make allroms"
Each PCI ROM currently ends up appearing twice in the $(ROMS) list:
once under its designated name (e.g. "rtl8139.rom"), once under its
PCI IDs (e.g. "bin/10ec8139.rom").
Include only the latter of these in the $(ROMS) list, so that doing
"make allroms" will generate only one copy of each ROM.
Reported-by: Bastian Blank <waldi@debian.org>
Signed-off-by: Michael Brown <mcb30@ipxe.org>
Diffstat (limited to 'src/doc')
0 files changed, 0 insertions, 0 deletions