diff --git a/tests/travis.sh b/tests/travis.sh index 89a9a52..e8e0790 100755 --- a/tests/travis.sh +++ b/tests/travis.sh @@ -1,5 +1,7 @@ #!/bin/sh +php -i + VERSION=`phpenv version-name` if [ "${VERSION}" = 'hhvm' ]