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/Makefile.housekeeping | |
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/Makefile.housekeeping')
0 files changed, 0 insertions, 0 deletions