diff options
| -rw-r--r-- | roms/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/roms/Makefile b/roms/Makefile index 6994873314..10d5a65d61 100644 --- a/roms/Makefile +++ b/roms/Makefile @@ -50,6 +50,7 @@ default: @echo " bios -- update bios.bin (seabios)" @echo " seavgabios -- update vgabios binaries (seabios)" @echo " lgplvgabios -- update vgabios binaries (lgpl)" + @echo " sgabios -- update sgabios binaries" @echo " pxerom -- update nic roms (bios only)" @echo " efirom -- update nic roms (bios+efi, this needs" @echo " the EfiRom utility from edk2 / tianocore)" @@ -89,6 +90,12 @@ build-lgplvgabios: $(MAKE) $(MAKEFLAGS) -C vgabios $(vgabios_targets) +.PHONY: sgabios +sgabios: + $(MAKE) $(MAKEFLAGS) -C sgabios + cp sgabios/sgabios.bin ../pc-bios + + pxerom: $(patsubst %,pxe-rom-%,$(pxerom_variants)) pxe-rom-%: build-pxe-roms @@ -127,5 +134,7 @@ clean: rm -rf seabios/.config seabios/out seabios/builds $(MAKE) $(MAKEFLAGS) -C vgabios clean rm -f vgabios/VGABIOS-lgpl-latest* + $(MAKE) $(MAKEFLAGS) -C sgabios clean + rm -f sgabios/.depend $(MAKE) $(MAKEFLAGS) -C ipxe/src veryclean $(MAKE) $(MAKEFLAGS) -C SLOF clean |