summaryrefslogtreecommitdiff
path: root/databases/php5-tarantool/Makefile
diff options
context:
space:
mode:
authorAntoine Brodin <antoine@FreeBSD.org>2018-10-08 15:08:13 +0000
committerAntoine Brodin <antoine@FreeBSD.org>2018-10-08 15:08:13 +0000
commit3f14fbb2c03bd6b87b63970ea61d60f3c9332589 (patch)
tree42358909bf1bcd1454294bcb1807af0668a8d50d /databases/php5-tarantool/Makefile
parentFollowing "Setup, Conventions, and Traditions" (Committer's Guide), I also (diff)
Fix some PKGNAME collisions
Diffstat (limited to 'databases/php5-tarantool/Makefile')
-rw-r--r--databases/php5-tarantool/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/databases/php5-tarantool/Makefile b/databases/php5-tarantool/Makefile
index 0fad5407bea2..ad8ffa6a1e1a 100644
--- a/databases/php5-tarantool/Makefile
+++ b/databases/php5-tarantool/Makefile
@@ -18,7 +18,7 @@ PORTSCOUT= ignore:1
USES= php:ext
CONFIGURE_ARGS= --with-tarantool
-IGNORE_WITH_PHP=70 71 72
+IGNORE_WITH_PHP=70 71 72 73
USE_GITHUB= yes
GH_PROJECT= ${PORTNAME}-php