diff options
| author | nashe <thomas@chauchefoin.fr> | 2017-07-16 17:31:20 +0200 |
|---|---|---|
| committer | nashe <thomas@chauchefoin.fr> | 2017-07-16 17:31:20 +0200 |
| commit | 475016d5199e3e784f3768ee6e6b07847788deab (patch) | |
| tree | 7166c68e135b6a4001caf3775ddb72aeb08b6ba2 | |
| parent | c808b36084f6d37c75addc1e218404b05e291f07 (diff) | |
| download | planet-475016d5199e3e784f3768ee6e6b07847788deab.tar planet-475016d5199e3e784f3768ee6e6b07847788deab.tar.gz planet-475016d5199e3e784f3768ee6e6b07847788deab.tar.bz2 planet-475016d5199e3e784f3768ee6e6b07847788deab.tar.xz planet-475016d5199e3e784f3768ee6e6b07847788deab.zip | |
Use HHVM's built-in web server when necessary
| -rw-r--r-- | .travis.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 5d88580..f3eb2cf 100644 --- a/.travis.yml +++ b/.travis.yml @@ -21,8 +21,8 @@ before_deploy: - tar czvf moonmoon-$TRAVIS_TAG.tgz --exclude ".git" * before_script: -- if [[ $TRAVIS_PHP_VERSION != hhvm ]]; then php -S 127.0.0.1:8081 >& /dev/null &; fi -- if [[ $TRAVIS_PHP_VERSION = hhvm ]]; then hhvm -m server -p 8081 >& /dev/null &; fi +- sh -c "if [[ $TRAVIS_PHP_VERSION != hhvm ]]; then php -S 127.0.0.1:8081 >& /dev/null &; fi" +- sh -c "if [[ $TRAVIS_PHP_VERSION = hhvm ]]; then hhvm -m server -p 8081 >& /dev/null &; fi" # deploy: # provider: releases |