|
|
@ -4,6 +4,7 @@ |
|
|
|
|
|
|
|
|
|
|
|
if (php --version | grep -i HipHop > /dev/null); then |
|
|
|
if (php --version | grep -i HipHop > /dev/null); then |
|
|
|
echo "mongodb does not work on HHVM currently, skipping" |
|
|
|
echo "mongodb does not work on HHVM currently, skipping" |
|
|
|
|
|
|
|
exit 0 |
|
|
|
else |
|
|
|
else |
|
|
|
echo "extension = mongo.so" >> ~/.phpenv/versions/$(phpenv version-name)/etc/php.ini |
|
|
|
echo "extension = mongo.so" >> ~/.phpenv/versions/$(phpenv version-name)/etc/php.ini |
|
|
|
fi |
|
|
|
fi |
|
|
|