diff options
author | Gerd Hoffmann <kraxel@redhat.com> | 2013-09-20 15:34:27 +0200 |
---|---|---|
committer | Gerd Hoffmann <kraxel@redhat.com> | 2013-09-30 09:44:35 +0200 |
commit | 6887581728c9eddf858e7458b6eacbfe3ac68302 (patch) | |
tree | dd6b854587091e81fddc37537f1d209055dff948 /roms | |
parent | 53d09b761f032f50c4424e8649396a9041070bae (diff) |
roms: add 'make clean'
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
Diffstat (limited to 'roms')
-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 |