Index: head/misc/seabios/Makefile
===================================================================
--- head/misc/seabios/Makefile	(revision 412334)
+++ head/misc/seabios/Makefile	(revision 412335)
@@ -1,27 +1,28 @@
 # $FreeBSD$
 
 PORTNAME=	seabios
 PORTVERSION=	1.9.1
 CATEGORIES=	misc
 MASTER_SITES=	http://code.coreboot.org/p/seabios/downloads/get/
 
 MAINTAINER=	royger@FreeBSD.org
 COMMENT=	Open source implementation of a 16bit X86 BIOS
 
 LICENSE=	LGPL3
 
 USES=	gmake python:build
 
-MAKE_ARGS=	HOSTCC="${CC}" LD32BIT_FLAG="-melf_i386_fbsd"
+MAKE_ARGS=	HOSTCC="${CC}" LD32BIT_FLAG="-melf_i386_fbsd" \
+		PYTHON="${PYTHON_CMD}"
 USE_GCC=	yes
 
 EXTRA_PATCHES=	${FILESDIR}/0001-build-fix-.text-section-address-alignment.patch:-p1
 
 PLIST_FILES=	${DATADIR}/bios.bin
 
 do-install:
 	${MKDIR} ${STAGEDIR}${DATADIR}
 	${INSTALL_DATA} ${WRKSRC}/out/bios.bin ${STAGEDIR}${DATADIR}
 
 .include <bsd.port.mk>
 RUN_DEPENDS:=	${RUN_DEPENDS:Ngcc*}