diff options
| author | antoine <antoine@FreeBSD.org> | 2018-10-21 19:17:12 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2018-10-21 19:17:12 +0800 |
| commit | 966cfbbc2c7faffffc46379ba00852ede1ff58e8 (patch) | |
| tree | 94d2c8d6c29f9a3fd135af4bb28d0b11cf2d8114 /lang/php56 | |
| parent | d879324dfd6a78a14393b7eb368aee84f2388d47 (diff) | |
| download | freebsd-ports-gnome-966cfbbc2c7faffffc46379ba00852ede1ff58e8.tar.gz freebsd-ports-gnome-966cfbbc2c7faffffc46379ba00852ede1ff58e8.tar.zst freebsd-ports-gnome-966cfbbc2c7faffffc46379ba00852ede1ff58e8.zip | |
Ignore some ports with some versions of php
PR: 232398
Diffstat (limited to 'lang/php56')
| -rw-r--r-- | lang/php56/Makefile.ext | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/php56/Makefile.ext b/lang/php56/Makefile.ext index 612bd060453c..14ea40a5a5f1 100644 --- a/lang/php56/Makefile.ext +++ b/lang/php56/Makefile.ext @@ -3,7 +3,7 @@ COMMENT= The ${PHP_MODNAME} shared extension for php USES+= php:ext,noflavors PHP_MODNAME= ${PKGNAMESUFFIX:S/-//} PHP_VER= 56 -IGNORE_WITH_PHP= 70 +IGNORE_WITH_PHP= 70 71 72 73 EXTSUBDIR= ${DISTNAME}/ext/${PHP_MODNAME} WRKSRC= ${WRKDIR}/${EXTSUBDIR} |