diff options
Diffstat (limited to 'lang/php71/Makefile.ext')
| -rw-r--r-- | lang/php71/Makefile.ext | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/php71/Makefile.ext b/lang/php71/Makefile.ext index c1ed33e41328..21cb01167d9a 100644 --- a/lang/php71/Makefile.ext +++ b/lang/php71/Makefile.ext @@ -5,7 +5,7 @@ COMMENT= The ${PHP_MODNAME} shared extension for php USES+= php:ext,noflavors PHP_MODNAME= ${PKGNAMESUFFIX:S/-//} PHP_VER= 71 -IGNORE_WITH_PHP= 56 70 72 73 +IGNORE_WITH_PHP= 56 72 73 EXTSUBDIR= ${DISTNAME}/ext/${PHP_MODNAME} WRKSRC= ${WRKDIR}/${EXTSUBDIR} |