diff options
Diffstat (limited to 'databases/php5-tarantool/Makefile')
-rw-r--r-- | databases/php5-tarantool/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/databases/php5-tarantool/Makefile b/databases/php5-tarantool/Makefile index 45b2a04b0e2c..e47b302a779c 100644 --- a/databases/php5-tarantool/Makefile +++ b/databases/php5-tarantool/Makefile @@ -16,7 +16,7 @@ USE_GITHUB= yes GH_PROJECT= ${PORTNAME}-php GH_TAGNAME= c1c5d5f TR_VER= 20151222 -IGNORE_WITH_PHP= 70 +IGNORE_WITH_PHP= 70 71 CONFIGURE_ARGS+= --with-tarantool |