Pass all required toolchain parts to SeaBIOS correctly
[coreboot.git] / src / arch / x86 / Makefile.inc
index 6cd475f0f285227b93f2c3f6003e1729151d08c4..c9a62c926ea67e6197d1bd346ab73263aa2a4966 100644 (file)
@@ -286,7 +286,8 @@ endif
 
 seabios:
        $(MAKE) -C payloads/external/SeaBIOS -f Makefile.inc \
-                       CC="$(CC)" LD="$(LD)" \
+                       CC="$(CC)" LD="$(LD)" OBJDUMP="$(OBJDUMP)" \
+                       OBJCOPY="$(OBJCOPY)" STRIP="$(STRIP)" \
                        CONFIG_SEABIOS_MASTER=$(CONFIG_SEABIOS_MASTER) \
                        CONFIG_SEABIOS_STABLE=$(CONFIG_SEABIOS_STABLE)