From a6e27105b65c1f7cd78aec586662c3950101fad2 Mon Sep 17 00:00:00 2001 From: Rene Ladan Date: Tue, 17 Dec 2019 20:28:36 +0000 Subject: Remove IGNORE_WITH_PHP=71 and add IGNORE_WITH_PHP=74 where relevant. --- lang/php73/Makefile.ext | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lang/php73') diff --git a/lang/php73/Makefile.ext b/lang/php73/Makefile.ext index c6ae87849515..7f46e1e6667b 100644 --- a/lang/php73/Makefile.ext +++ b/lang/php73/Makefile.ext @@ -5,7 +5,7 @@ COMMENT= The ${PHP_MODNAME} shared extension for php USES+= php:ext,noflavors PHP_MODNAME= ${PKGNAMESUFFIX:S/-//} PHP_VER= 73 -IGNORE_WITH_PHP= 71 72 +IGNORE_WITH_PHP= 72 74 EXTSUBDIR= ${DISTNAME}/ext/${PHP_MODNAME} WRKSRC= ${WRKDIR}/${EXTSUBDIR} -- cgit v1.2.3