diff options
Diffstat (limited to 'lang/php80/Makefile.ext')
| -rw-r--r-- | lang/php80/Makefile.ext | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/php80/Makefile.ext b/lang/php80/Makefile.ext index 0b8d6c30897e..26b4e9f76151 100644 --- a/lang/php80/Makefile.ext +++ b/lang/php80/Makefile.ext @@ -3,7 +3,7 @@ COMMENT= The ${PHP_MODNAME} shared extension for php USES+= php:ext,noflavors PHP_MODNAME= ${PKGNAMESUFFIX:S/-//} PHP_VER= 80 -IGNORE_WITH_PHP= 81 82 +IGNORE_WITH_PHP= 81 82 83 EXTSUBDIR= ${DISTNAME}/ext/${PHP_MODNAME} WRKSRC= ${WRKDIR}/${EXTSUBDIR} |