diff options
Diffstat (limited to 'devel/php5-dav/Makefile')
| -rw-r--r-- | devel/php5-dav/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/php5-dav/Makefile b/devel/php5-dav/Makefile index 99e56a128fad..59e453eed91a 100644 --- a/devel/php5-dav/Makefile +++ b/devel/php5-dav/Makefile @@ -18,7 +18,7 @@ LIB_DEPENDS= libneon.so:www/neon USES= php:ext -IGNORE_WITH_PHP= 70 71 72 +IGNORE_WITH_PHP= 70 71 72 73 WRKSRC= ${WRKDIR}/${PORTNAME} |