Index: head/devel/gnu-efi/Makefile
===================================================================
--- head/devel/gnu-efi/Makefile	(revision 377373)
+++ head/devel/gnu-efi/Makefile	(revision 377374)
@@ -1,24 +1,25 @@
 # Created by: Edward Tomasz Napierala <trasz@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	gnu-efi
 PORTVERSION=	3.0w
 CATEGORIES=	devel
 MASTER_SITES=	${MASTER_SITE_SOURCEFORGE}
 MASTER_SITE_SUBDIR=	gnu-efi
 DISTNAME=	${PORTNAME}_${PORTVERSION}.orig
 
 MAINTAINER=	trasz@FreeBSD.org
 COMMENT=	SDK for EFI applications
 
 LICENSE=	GPLv2
 
 WRKSRC=		${WRKDIR}/${PORTNAME}-3.0
 
 USES=		gmake
-USE_GCC=	4.8+
+# The version of GCC is also hard-coded in files/patch-Make.defaults.
+USE_GCC=	4.8
 MAKE_JOBS_UNSAFE=	yes
 CFLAGS+=	"-fPIC"
 ONLY_FOR_ARCHS=	amd64
 
 .include <bsd.port.mk>