restart hhvm in travis

This commit is contained in:
Arkadiusz Kondas 2016-07-07 23:50:10 +02:00
parent 3171758418
commit 2e417cb39a

View File

@ -29,6 +29,7 @@ install:
before_script:
- if [[ $HHVMPHP7 == "yes" ]]; then echo hhvm.php7.all=1 >> /etc/hhvm/php.ini; fi
- if [[ $HHVMPHP7 == "yes" ]]; then sudo service hhvm restart ; sleep 1 ; fi
script:
- bin/phpunit