If the tool has 64bit issues, we need to find and fix them. No papering over them.
[coreboot.git] / Makefile
index a61acdf9db387af202f39b2ed473c4f41ad259e3..a41efd049f545c0ec2d0f438892996408ac05da2 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -363,6 +363,7 @@ clean-for-update: doxygen-clean
        rm -f $(obj)/mainboard/$(MAINBOARDDIR)/bootblock.* $(obj)/mainboard/$(MAINBOARDDIR)/dsdt.*
        rm -f $(obj)/cpu/x86/smm/smm_bin.c $(obj)/cpu/x86/smm/smm.* $(obj)/cpu/x86/smm/smm
        rmdir -p $(alldirs) 2>/dev/null >/dev/null || true
+       $(MAKE) -C payloads/external/SeaBIOS -f Makefile.inc clean
 
 clean: clean-for-update
        rm -f $(obj)/coreboot* .ccwrap