diff options
| author | Antoine Brodin <antoine@FreeBSD.org> | 2018-10-21 11:17:12 +0000 |
|---|---|---|
| committer | Antoine Brodin <antoine@FreeBSD.org> | 2018-10-21 11:17:12 +0000 |
| commit | a282a908fa4b1cb89078a1fd1d6f8112be16088d (patch) | |
| tree | 94d2c8d6c29f9a3fd135af4bb28d0b11cf2d8114 /lang/php72 | |
| parent | 7412e64773f9e99983815ce8282d97088587821b (diff) | |
Notes
Diffstat (limited to 'lang/php72')
| -rw-r--r-- | lang/php72/Makefile.ext | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/php72/Makefile.ext b/lang/php72/Makefile.ext index 0765fe5b09d8..73e0f92d97f2 100644 --- a/lang/php72/Makefile.ext +++ b/lang/php72/Makefile.ext @@ -5,7 +5,7 @@ COMMENT= The ${PHP_MODNAME} shared extension for php USES+= php:ext,noflavors PHP_MODNAME= ${PKGNAMESUFFIX:S/-//} PHP_VER= 72 -IGNORE_WITH_PHP= 56 70 71 +IGNORE_WITH_PHP= 56 70 71 73 EXTSUBDIR= ${DISTNAME}/ext/${PHP_MODNAME} WRKSRC= ${WRKDIR}/${EXTSUBDIR} |