if [ "$TRAVIS_PHP_VERSION" == "hhvm" ]; then
  echo "HHVM";
fi;