diff options
Diffstat (limited to 'lang/php73/Makefile.ext')
| -rw-r--r-- | lang/php73/Makefile.ext | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/php73/Makefile.ext b/lang/php73/Makefile.ext index d97d2776711e..79ff1d80af67 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= 56 70 71 72 +IGNORE_WITH_PHP= 56 71 72 EXTSUBDIR= ${DISTNAME}/ext/${PHP_MODNAME} WRKSRC= ${WRKDIR}/${EXTSUBDIR} |