mirror/phpredis
1
0
Fork 0
mirror of https://github.com/phpredis/phpredis.git synced 2026-06-19 07:35:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

Bikeshedding error message

Browse Source
This commit is contained in:
michael-grunder
2019-06-21 11:38:36 -07:00
committed by Michael Grunder
parent aa110feb82
commit a537df8321
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
config.m4
+1 -1
View File
@@ -139,7 +139,7 @@ if test "$PHP_REDIS" != "no"; then
AC_MSG_CHECKING([for php msgpack version >= 2.0.3])
MSGPACK_VERSION=`$EGREP "define PHP_MSGPACK_VERSION" $msgpack_inc_path/ext/msgpack/php_msgpack.h | $SED -e 's/[[^0-9\.]]//g'`
if test `echo $MSGPACK_VERSION | $SED -e 's/[[^0-9]]/ /g' | $AWK '{print $1*1000 + $2*100 + $3*10 + $4}'` -lt 2030; then
AC_MSG_ERROR([version $MSGPACK_VERSION is too old])
AC_MSG_ERROR([version >= 2.0.3 required])
else
AC_MSG_RESULT([yes])
fi