diff options
Diffstat (limited to 'roms/Makefile')
| -rw-r--r-- | roms/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/roms/Makefile b/roms/Makefile index 7a228aed8f..b64606067b 100644 --- a/roms/Makefile +++ b/roms/Makefile @@ -75,3 +75,10 @@ efi-rom-%: ipxe/src/config/local/general.h ipxe/src/config/local/%: config.ipxe.% cp $< $@ + + +clean: + rm -rf seabios/.config seabios/out + $(MAKE) $(MAKEFLAGS) -C vgabios clean + rm -f vgabios/VGABIOS-lgpl-latest* + $(MAKE) $(MAKEFLAGS) -C ipxe/src veryclean |